Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.card_sdiff_add_card_eq_card

Modification history

2022-03-18 16:51
src/data/finset/card.lean
feat(archive/100-theorems-list): add proof of thm 81 (#7274)
Added finset.card_sdiff_add_card_eq_cardView on Github →