Theorem Finset.card_union_add_card_inter

Modification history