Theorem Finset.card_toLeft_add_card_toRight

Modification history

2024-10-04 10:12
Mathlib/Data/Finset/Sum.lean
feat(Data/Finset): right elements of a finset in the sum type (#17014)
Added Finset.card_toLeft_add_card_toRightView on Github →