mathlib3
73f1a08d
- feat(data/finset): add filter_empty, filter_subset_filter, prod_filter
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
feat(data/finset): add filter_empty, filter_subset_filter, prod_filter
Author
johoelzl
Committer
johoelzl
Parents
b9ead4d5
Loading
mathlib3
73f1a08d - feat(data/finset): add filter_empty, filter_subset_filter, prod_filter
