Theorem Fintype.card_fin

Modification history