tweak proofs

8 jobs for ci/ralf/warnings in 6 minutes and 11 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.0 #24669
fp

00:02:49

passed build-coq.8.7.1 #24668
fp

00:02:51

passed build-coq.8.7.2 #24667
fp

00:03:00

passed build-coq.8.8.0 #24666
fp-timing

00:02:49

passed build-coq.8.8.1 #24665
fp

00:03:08

passed build-coq.8.8.2 #24664
fp

00:03:05

passed build-coq.8.9.0 #24663
fp-timing

00:03:17

failed build-coq.dev #24662
fp

00:02:14

 
Name Stage Failure
failed
build-coq.dev Build



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq dev
+-
- No changes have been performed
ERROR: Job failed: exit code 1