Theorem Fintype.card_Iic

Modification history