Commit 2021-10-22 10:49 43cd79f9
View on Github →feat(data/finset/basic): Simple finset.erase
lemmas (#9878)
finset.erase.singleton
and finset.(map/image)_erase
feat(data/finset/basic): Simple finset.erase
lemmas (#9878)
finset.erase.singleton
and finset.(map/image)_erase