Theorem Fintype.card_Icc

Modification history