basic): add finset.filter_eq_self (#12717)

Commit

3 years ago

feat(data/finset/basic): add finset.filter_eq_self (#12717) and an epsilon of cleanup from flt-regular

Author

alexjbest

Parents