∫ Утверждение Mathlib
add_measure
Mathlib.MeasureTheory.Integral.IntegrableOn
URI: https://scilib.ai/kg/mathlib#MeasureTheory.IntegrableOn.add_measure
∫ Утверждение Mathlib
Mathlib.MeasureTheory.Integral.IntegrableOn
URI: https://scilib.ai/kg/mathlib#MeasureTheory.IntegrableOn.add_measure