Merge branch 'last_filter_postfix' into 'master'
Add `filter_reverse`, `head_filter_Some`, `last_filter_Some` lemmas See merge request !353
No related branches found
No related tags found
Checking pipeline status
Add `filter_reverse`, `head_filter_Some`, `last_filter_Some` lemmas See merge request !353