Skip to content
Snippets Groups Projects

Add lemma `filter_app_complement`.

Passed
Robbert Krebbers created pipeline for commit 1ddf1797
, finished
Related merge request !414 to merge robbert/filter_app_complement
merge request
2 jobs 5 minutes 27 seconds, queued for 3 seconds