basic): add a few lemmas, mostly about `finsupp.filter` (#13457)

Commit

3 years ago

feat(data/finsupp/basic): add a few lemmas, mostly about `finsupp.filter` (#13457)

Author

urkud

Parents