Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-26 22:43 8c732b2c

View on Github →

feat(data/finset/basic): card_subtype simp lemma (#5894)

Estimated changes

added theorem finset.card_subtype