integrate some of the comments

4 jobs for !725 with fixpoint-lemmas in 18 minutes and 45 seconds (queued for 91 minutes and 55 seconds)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.12.2 #137839
fp

00:15:57

passed build-coq.dev #137840
fp

00:18:24

failed build-coq.8.12.2 #137475
fp

failed build-coq.dev #137474
fp