Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-12-06 16:21 81e53e83

View on Github →

feat(data/finset): add ssubset

Estimated changes

Modified data/finset.lean

added theorem finset.erase_ssubset

added theorem finset.ssubset_iff

added theorem finset.ssubset_insert