Theorem MeasureTheory.AEStronglyMeasurable'.mono

Modification history

2025-08-14 19:32
Mathlib/MeasureTheory/Function/ConditionalExpectation/AEMeasurable.lean
chore: remove >6 month old deprecations (#28370) …
Deleted MeasureTheory.AEStronglyMeasurable'.monoView on Github →
2025-01-25 09:32
Mathlib/MeasureTheory/Function/ConditionalExpectation/AEMeasurable.lean
refactor: merge `AEStronglyMeasurable` and `AEStronglyMeasurable'` (#20932) …
Modified MeasureTheory.AEStronglyMeasurable'.monoView on Github →
2024-05-26 08:52
Mathlib/MeasureTheory/Function/ConditionalExpectation/AEMeasurable.lean
chore(MeasureTheory): drop `autoImplicit true` (#13231)
Modified MeasureTheory.AEStronglyMeasurable'.monoView on Github →
2023-08-14 12:56
Mathlib/MeasureTheory/Function/ConditionalExpectation/AEMeasurable.lean
feat(Probability/Kernel/Condexp): some properties of condexpKernel (#6109) …
Added MeasureTheory.AEStronglyMeasurable'.monoView on Github →