Theorem MeasureTheory.submartingale_iff_condexp_sub_nonneg

Modification history