Mathlib v3 is deprecated. Go to Mathlib v4

Def multiset.subsingleton_equiv

Modification history

2019-05-14 11:13
src/data/multiset.lean
fix(data/multiset): remove duplicate setoid instance (#1027) …
Added multiset.subsingleton_equivView on Github →