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

neg_posPart

Mathlib.MeasureTheory.VectorMeasure.Decomposition.Jordan

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

← MathLib Explorer