Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-20 14:05 d79f6f3c

View on Github →

feat(data/finset/basic): simp to_finset_eq_empty (#13531)

Estimated changes

modified theorem multiset.to_finset_eq_empty