basic): Add `finsupp.erase_of_not_mem_support` (#10689)

Commit

4 years ago

feat(data/finsupp/basic): Add `finsupp.erase_of_not_mem_support` (#10689) Analogous to `list.erase_of_not_mem`

Author

stuart-presnell

Parents