update cauchy criterion edges and tex

3 jobs for !13 with bstour in 1 minute and 2 seconds (queued for 3 seconds)
latest detached
Status Job ID Name Coverage
  Build
passed #638892
review-app-build

00:00:52

 
  Review
passed #638893
review-app-deploy

00:00:10

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