Theorem Fintype.card_Ici

Modification history