Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-01-04 18:47
037147ec
View on Github →
feat(probability_theory/stopping): define stopped process (
#10851
)
Estimated changes
Modified
src/probability_theory/stopping.lean
added
theorem
measure_theory.adapted.stopped_process
added
theorem
measure_theory.integrable_stopped_process
modified
theorem
measure_theory.is_stopping_time.measurable_set_eq
added
theorem
measure_theory.is_stopping_time.measurable_set_ge
added
theorem
measure_theory.is_stopping_time.measurable_set_le
added
theorem
measure_theory.measurable_stopped_process
added
theorem
measure_theory.mem_ℒp_stopped_process
added
def
measure_theory.stopped_process
added
theorem
measure_theory.stopped_process_eq
added
theorem
measure_theory.stopped_process_eq_of_ge
added
theorem
measure_theory.stopped_process_eq_of_le
added
def
measure_theory.stopped_value