Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-04 13:54 d819e364

View on Github →

feat(data/finset/basic): sdiff_val, disjoint_to_finset_iff_disjoint (#8168)

Estimated changes

Modified src/data/finset/basic.lean

added theorem finset.sdiff_val

added theorem list.disjoint_to_finset_iff_disjoint

modified theorem multiset.disjoint_to_finset