Theorem MeasureTheory.StronglyAdapted.isStoppingTime_leastGE

Modification history

2026-02-07 07:45
Mathlib/Probability/Martingale/BorelCantelli.lean
feat: generalize the index set and the codomain of leastGE (#34715)
Modified MeasureTheory.StronglyAdapted.isStoppingTime_leastGEView on Github →
2026-01-13 15:36
Mathlib/Probability/Martingale/BorelCantelli.lean
chore(Probability): Rename Adapted to StronglyAdapted (#33063) …
Added MeasureTheory.StronglyAdapted.isStoppingTime_leastGEView on Github →