Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-19 09:29 2b9780ad

View on Github →

feat(data/finset): disjoint_val (#206)

Estimated changes

Modified data/finset.lean

added theorem finset.disjoint_val