Add a few lemmas

2 jobs for !266 with master in 11 minutes and 35 seconds (queued for 23 seconds)
latest detached
Status Job ID Name Coverage
  Build
passed #129048
fp
build-coq.8.10.2

00:05:46

passed #129047
fp
build-coq.8.13.2-mr

00:05:48