Apply 1 suggestion(s) to 1 file(s)
Passed
Robbert Krebbers
created pipeline for commit
dcf47357
, finished
Related merge request !355 to merge last_lemmas
5 minutes 10 seconds, queued for 5 seconds