Theorem MeasureTheory.hittingBtwn_apply_mono_left

Modification history

2025-11-24 13:11
Mathlib/Probability/Process/HittingTime.lean
feat: Monotonicity of hitting times (#31541) …
Added MeasureTheory.hittingBtwn_apply_mono_leftView on Github →