Theorem MeasureTheory.IsStoppingTime.add_const_nat

Modification history