Theorem Sym.toMultiset_zero

Modification history

2024-05-14 23:22
Mathlib/Data/Sym/Basic.lean
chore: robustify proofs against leanprover/lean4#4061 (#12906) …
Added Sym.toMultiset_zeroView on Github →