Theorem MeasureTheory.JordanDecomposition.real_smul_negPart_nonneg

Modification history