2026-02-16 09:07
Mathlib/Probability/Martingale/OptionalStopping.lean
feat: generalize Submartingale.expected_stoppedValue_mono to processes taking values in an ordered module (#34770) …
Modified MeasureTheory.Submartingale.expected_stoppedValue_mono