Add some _1, _2 lemmas
Passed
Michael Sammler
created pipeline for commit
18c543b3
, finished
Related merge request !394 to merge ci/msammler/_1_2_lemmas
8 minutes 5 seconds, queued for 834 seconds