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_evenView on Github →
2023-01-19 15:01
Mathlib/Data/Fintype/Parity.lean
feat: port Data.Fintype.Parity (#1680)
Added Fintype.card_fin_evenView on Github →