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
chore(data/finset/basic): remove inter_eq_sdiff_sdiff (#4953) This is a duplicate of sdiff_sdiff_self_left