Def Finsupp.toMultiset

Modification history

2023-08-07 12:37

Mathlib/Data/Finsupp/Multiset.lean

feat(Data/Finsupp): make toMultiset and antidiagonal computable (#6331) …

Modified Finsupp.toMultiset View on Github →

2023-02-04 19:53

Mathlib/Data/Finsupp/Multiset.lean

chore: tidy various files (#2056)

Modified Finsupp.toMultiset View on Github →

2023-02-03 18:59

Mathlib/Data/Finsupp/Multiset.lean

feat: port Data.Finsupp.Multiset (#1988) …

Added Finsupp.toMultiset View on Github →