Theorem Fintype.card_subtype_true

Modification history