Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-09 03:25 e1c333dc

View on Github →

chore(data/finset/basic): remove inter_eq_sdiff_sdiff (#4953) This is a duplicate of sdiff_sdiff_self_left

Estimated changes