Theorem Finset.disjoint_val

Modification history

2024-11-04 10:03

Mathlib/Data/Finset/Basic.lean

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

Modified Finset.disjoint_val View on Github →

2023-01-16 08:13

Mathlib/Data/Finset/Basic.lean

feat: port Data.Finset.Basic (#1555)

Added Finset.disjoint_val View on Github →