Theorem Finset.card_biUnion_le_of_intersecting

Modification history