Theorem MeasureTheory.IsStoppingTime.measurableSet_eq_stopping_time_of_countable

Modification history