adapt references to theorem

4 jobs for !39 with 46-update-to-mathjax-3 in 48 seconds (queued for 2 seconds)
latest detached
Status Job ID Name Coverage
  Brand
passed #678330
add-branding

00:00:07

 
  Build
passed #678331
review-app-build

00:00:32

 
  Review
passed #678332
review-app-deploy

00:00:08

manual #678333
allowed to fail manual
review-app-deploy:stop