Merge branch 'msammler/more_1_2_lemmas' into 'master'
Passed
Robbert Krebbers
created pipeline for commit
f9ee8400
, finished
For master
14 minutes 24 seconds, queued for 338 seconds