Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.stopped_value_hitting_mem

Modification history

2022-07-06 07:46
src/probability/hitting_time.lean
feat(probability/martingale): Doob's maximal inequality (#14737)
Added measure_theory.stopped_value_hitting_memView on Github →