Skip to content
Snippets Groups Projects

Apply 1 suggestion(s) to 1 file(s)

Passed
Robbert Krebbers created pipeline for commit 03bdbb8d
, finished
Related merge request !359 to merge list_subseteq_lemmas
merge request
2 jobs 5 minutes 2 seconds, queued for 9 seconds