Theorem MeasureTheory.AEStronglyMeasurable'.const_smul
Modification history
2025-08-14 19:32
Mathlib/MeasureTheory/Function/ConditionalExpectation/AEMeasurable.lean
chore: remove >6 month old deprecations (#28370) …
Deleted MeasureTheory.AEStronglyMeasurable'.const_smulView on Github →