Commit 2024-04-16 09:18 d1a8af0e

View on Github →

refactor: move disjoint_sdiff_inter (#12021)

Estimated changes

Modified Mathlib/Data/Set/Basic.lean

added theorem Set.disjoint_sdiff_inter

Modified Mathlib/MeasureTheory/Integral/PeakFunction.lean

deleted theorem Set.disjoint_sdiff_inter