tweak proofs

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

00:02:49

passed #24668
fp
build-coq.8.7.1

00:02:51

passed #24667
fp
build-coq.8.7.2

00:03:00

passed #24666
fp-timing
build-coq.8.8.0

00:02:49

passed #24665
fp
build-coq.8.8.1

00:03:08

passed #24664
fp
build-coq.8.8.2

00:03:05

passed #24663
fp-timing
build-coq.8.9.0

00:03:17

failed #24662
fp
build-coq.dev

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