basic): lemmas on the support of the `tsub` of `finsupp`s (#10651)

Commit

4 years ago

feat(data/finsupp/basic): lemmas on the support of the `tsub` of `finsupp`s (#10651)

Author

stuart-presnell

Parents