Apply 1 suggestion(s) to 1 file(s)
Passed
Robbert Krebbers
created pipeline for commit
fa7c7f01
, finished
Related merge request !369 to merge multiset-lemmas
6 minutes 33 seconds, queued for 4 seconds