Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-27 06:00 07374a27

View on Github →

feat(set_theory/cardinal): add three_le (#12225)

Estimated changes

Modified src/data/finset/card.lean

added theorem finset.le_card_sdiff

Modified src/set_theory/cardinal.lean

added theorem cardinal.exists_not_mem_of_length_le

added theorem cardinal.three_le