Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2018-08-07 20:28
bd7f1b06
View on Github →
feat(data/fintype): injective_iff_surjective (
#240
)
Estimated changes
Modified
data/fintype.lean
modified
theorem
fintype.card_le_of_injective
added
theorem
fintype.injective_iff_surjective
added
theorem
fintype.injective_iff_surjective_of_equiv