Commit 2024-02-13 11:24 11152388

View on Github →

feat: Add Finset.card_union_eq_card_add_card and golf (#10471)

Estimated changes

Modified Mathlib/Data/Finset/Card.lean

added theorem Finset.card_union_eq_card_add_card

deleted theorem Finset.card_union_of_disjoint