feat(data/finset/basic): add finset.filter_eq_self (#12717)
feat(data/finset/basic): add finset.filter_eq_self (#12717)

and an epsilon of cleanup

from flt-regular






leanprover-community/mathlib,leanprover-community/mathlib