Theorem MeasureTheory.Submartingale.smul_nonpos

Modification history