Def Sym.toMultiset

Modification history

2023-08-10 19:52

Mathlib/Data/Sym/Basic.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Sym.toMultiset View on Github →

2023-03-23 23:56

Mathlib/Data/Sym/Basic.lean

chore: put `toMultiset` into namespace `Sym` (#2266)

Added Sym.toMultiset View on Github →