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