Theorem Fintype.card_subtype_mono

Modification history