Theorem MeasureTheory.stoppedProcess_eq_stoppedValue

Modification history