Skip to content
Snippets Groups Projects

Add a number of missing intersection lemmas

Passed
Marijn van Wezel created pipeline for commit e9359f19
, finished
Related merge request !491 to merge intersection_lemmas
merge request
1 job 11 minutes 51 seconds, queued for 1 seconds