mathlib3
fc35cb32 - chore(data/finset/card): add `card_disj_union` (#13061)

Commit

3 years ago

chore(data/finset/card): add `card_disj_union` (#13061)

Author

eric-wieser

eric-wieser

Parents

Loading