Theorem measure_theory.adapted.measurable_stopped_process_of_nat
Modification history
2022-05-06 12:03
src/probability/stopping.lean
feat(probability/stopping): add properties of the measurable space generated by a stopping time (#13909) …
Deleted measure_theory.adapted.measurable_stopped_process_of_natView on Github →