Merge branch 'add-lemma' into 'master'
Failed
Robbert Krebbers
created pipeline for commit
dcfe9839
, finished
For master
8 minutes 56 seconds, queued for 2 seconds