Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.disjoint_sdiff_inter

Modification history

2023-01-31 19:36

src/measure_theory/integral/peak_function.lean

feat(measure_theory/integral/peak_function): convergence of integral against a sequence of peak functions (#18327) …

Added set.disjoint_sdiff_inter View on Github →