Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.ite_ae_eq_of_measure_compl_zero

Modification history

2021-01-25 16:06
src/measure_theory/measure_space.lean
feat(measure_theory/{measure_space, borel_space, integration}): prove ae_measurable for various limits (#5849) …
Added measure_theory.ite_ae_eq_of_measure_compl_zeroView on Github →