Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.to_finset_eq_empty

Modification history

2022-04-20 14:05
src/data/finset/basic.lean
feat(data/finset/basic): simp `to_finset_eq_empty` (#13531)
Modified multiset.to_finset_eq_emptyView on Github →
2019-03-31 08:32
src/data/finset.lean
feat(data/finset): to_finset_eq_empty
Added multiset.to_finset_eq_emptyView on Github →