∫ Утверждение Mathlib
comp_quasiMeasurePreserving
Mathlib.MeasureTheory.Function.StronglyMeasurable.AEStronglyMeasurable
URI: https://scilib.ai/kg/mathlib#MeasureTheory.AEStronglyMeasurable.comp_quasiMeasurePreserving
∫ Утверждение Mathlib
Mathlib.MeasureTheory.Function.StronglyMeasurable.AEStronglyMeasurable
URI: https://scilib.ai/kg/mathlib#MeasureTheory.AEStronglyMeasurable.comp_quasiMeasurePreserving