Theorem Fintype.card_eq

Modification history