Theorem MeasureTheory.ae_restrict_eq₀

Modification history

2026-09-25 23:29

Mathlib/MeasureTheory/Measure/Restrict.lean

chore(MeasureTheory): generalize hypotheses to `NullMeasurableSet` (#42924) …

Added MeasureTheory.ae_restrict_eq₀ View on Github →