Theorem Fintype.card_setUniv

Modification history