Mathlib Changelog
v4
Changelog
About
Github
Theorem
Fintype.card_fin_even
Modification history
2024-02-11 03:49
Mathlib/Data/Fintype/Parity.lean
chore: remove Fintype.card_fin_even (#10273) …
Deleted
Fintype.card_fin_even
View on Github →
2023-01-19 15:01
Mathlib/Data/Fintype/Parity.lean
feat: port Data.Fintype.Parity (#1680)
Added
Fintype.card_fin_even
View on Github →