Theorem Fintype.card_subtype

Modification history