Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2018-12-20 09:29
0882f8eb
View on Github →
feat(data/fintype): exists_ne_of_card_gt_one (
#544
)
Estimated changes
Modified
data/fintype.lean
added
theorem
card_vector
added
theorem
fintype.exists_ne_of_card_gt_one