Def Multiset

Modification history

2023-01-13 09:59

Mathlib/Data/Multiset/Basic.lean

feat: port Data.Multiset.Basic (#1491)

Deleted Multiset View on Github →

2023-01-11 16:31

Mathlib/Data/Multiset/Basic.lean

feat: port Mathlib.Data.List.Perm (#1478)

Modified Multiset View on Github →

2022-09-23 02:45

Mathlib/Data/Multiset/Basic.lean

feat: minimal port of Fintype (#429) …

Added Multiset View on Github →