Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ae_measurable_iff_measurable

Modification history

2022-04-09 06:37

src/measure_theory/measure/ae_measurable.lean

chore(measure_theory): move lemmas about `ae_measurable` to a new file (#13246)

Modified ae_measurable_iff_measurable View on Github →

2021-01-08 16:06

src/measure_theory/measure_space.lean

feat(measure_theory/measure_space): ae_measurable and measurable are equivalent for complete measures (#5643)

Added ae_measurable_iff_measurable View on Github →