Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-31 19:02 224ba7e0

View on Github →

feat(data/finset): card_image_le (#2295)

feat(data/finset): card_image_le
add list.to_finset_card_le

Estimated changes

Modified src/data/finset.lean

added theorem finset.card_image_le

added theorem list.to_finset_card_le

added theorem multiset.to_finset_card_le