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