∫ Утверждение Mathlib

real_smul_negPart_nonneg

Mathlib.MeasureTheory.VectorMeasure.Decomposition.Jordan

URI: https://scilib.ai/kg/mathlib#MeasureTheory.JordanDecomposition.real_smul_negPart_nonneg

← MathLib Explorer