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