Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.card_lt_card

Modification history

2018-08-10 09:04
data/set/finite.lean
feat(data/set/finite): card_image_of_injective and other minor lemmas (#245)
Added set.card_lt_cardView on Github →