Theorem Finsupp.toMultiset_eq_iff

Modification history

2024-07-09 09:09
Mathlib/Data/Finsupp/Multiset.lean
chore: add missing spaces around = or := (#14554) …
Modified Finsupp.toMultiset_eq_iffView on Github →
2023-08-07 12:37
Mathlib/Data/Finsupp/Multiset.lean
feat(Data/Finsupp): make toMultiset and antidiagonal computable (#6331) …
Added Finsupp.toMultiset_eq_iffView on Github →