Def Multiset.Disjoint

Modification history

2024-11-04 10:03

Mathlib/Data/Multiset/Basic.lean

refactor(Multiset): drop `Multiset.Disjoint` (#18535) …

Deleted Multiset.Disjoint View on Github →

2023-01-13 09:59

Mathlib/Data/Multiset/Basic.lean

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

Added Multiset.Disjoint View on Github →