Theorem Finset.card_disjSups_le

Modification history