Add a few lemmas

2 jobs for !266 with master in 11 minutes and 35 seconds (queued for 23 seconds)
latest merge request