Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.inter_eq_sdiff_sdiff

Modification history

2020-11-09 03:25
src/data/finset/basic.lean
chore(data/finset/basic): remove inter_eq_sdiff_sdiff (#4953) …
Deleted finset.inter_eq_sdiff_sdiffView on Github →
2020-10-04 20:49
src/data/finset/basic.lean
feat(algebra/big_operators/order): bounding finite fibration cardinalities from below (#4396) …
Added finset.inter_eq_sdiff_sdiffView on Github →