Skip to content
Snippets Groups Projects

Add _1, _2 lemmas for map_empty_filter

Passed
Michael Sammler created pipeline for commit 5a5578b4
, finished
1 related merge request: !394 Add some _1, _2 lemmas for map_filter
branch
4 jobs 3 minutes 3 seconds, queued for 2 seconds