Theorem Finset.card_le_card_biUnion_add_one

Modification history