Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.erase_ssubset

Modification history

2017-12-06 16:21
data/finset.lean
feat(data/finset): add ssubset
Added finset.erase_ssubsetView on Github →