Theorem MeasureTheory.measure_iInter_of_ae_monotone

Modification history

2026-08-20 12:42
Mathlib/MeasureTheory/Measure/Continuity.lean
chore: split too long file Measure.MeasureSpace (#42949) …
Modified MeasureTheory.measure_iInter_of_ae_monotoneView on Github →
2026-04-04 13:13
Mathlib/MeasureTheory/Measure/MeasureSpace.lean
feat(Probability): Local and stable properties (#33375) …
Added MeasureTheory.measure_iInter_of_ae_monotoneView on Github →