Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.card_image_of_injective

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_injective View on Github →