Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.card_image_of_inj_on

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_image_of_inj_onView on Github →