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

neg_negPart

Mathlib.MeasureTheory.VectorMeasure.Decomposition.Jordan

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

← MathLib Explorer