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