Theorem Finset.card_bunionᵢ_le_card_mul

Modification history