Def encodeMultiset

Modification history

2025-03-19 12:24
Mathlib/Logic/Equiv/Multiset.lean
refactor(Logic/Equiv/List): split (#23092) …
Added encodeMultisetView on Github →