Theorem Fintype.card_subtype_le

Modification history