Theorem Measurable.eventuallyMeasurable_of_eventuallyEq

Modification history

2024-06-08 17:32
Mathlib/MeasureTheory/Constructions/EventuallyMeasurable.lean
feat(MeasureTheory): generalize NullMeasurable to measurability mod a sigma filter. (#10856) …
Added Measurable.eventuallyMeasurable_of_eventuallyEqView on Github →