Theorem MeasureTheory.IsStoppingTime.measurableSet_eq_stopping_time

Modification history