basic): Simple `finset.erase` lemmas (#9878)

Commit

4 years ago

feat(data/finset/basic): Simple `finset.erase` lemmas (#9878) `finset.erase.singleton` and `finset.(map/image)_erase`

Author

YaelDillies

Parents