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