Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.erase_singleton

Modification history

2021-10-22 10:49
src/data/finset/basic.lean
feat(data/finset/basic): Simple `finset.erase` lemmas (#9878) …
Added finset.erase_singletonView on Github →