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