Mathlib Changelog
v4
Changelog
About
Github
Theorem
Measurable.comp_eventuallyMeasurable
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.comp_eventuallyMeasurable
View on Github →