Merge branch 'lang_lemmas' into 'master'

Lang lemmas

See merge request !324
6 jobs for master in 15 minutes and 32 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #46509
fp
build-coq.8.10.0

00:08:03

passed #46508
fp
build-coq.8.10.1

00:07:58

passed #46512
fp
build-coq.8.8.2

00:05:38

passed #46511
fp-timing
build-coq.8.9.0

00:05:51

passed #46510
fp
build-coq.8.9.1

00:07:22

passed #46507
fp
build-coq.dev

00:15:31