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