Theorem Finset.card_union_eq_card_add_card

Modification history