fixed some proof formatting errors

6 jobs for master in 15 minutes and 41 seconds
Status Job ID Name Coverage
  Build
passed #43491
fp
build-coq.8.10.dev

00:12:58

passed #43495
fp
build-coq.8.7.2

00:05:55

passed #43494
fp
build-coq.8.8.2

00:06:41

passed #43493
fp-timing
build-coq.8.9.0

00:06:00

passed #43492
fp
build-coq.8.9.1

00:07:22

passed #43490
fp
build-coq.dev

00:15:41