Commit 2023-01-19 15:01 9f2128bf

View on Github →

feat: port Data.Fintype.Parity (#1680)

Estimated changes

added theorem Fintype.card_fin_even