Theorem Fintype.card_subtype_or_disjoint

Modification history