mathlib

bea6c853 - chore(probability/process/stopping): generalize lemmas about nat-indexed processes to generic types (#17379)

chore(probability/process/stopping): generalize lemmas about nat-indexed processes to generic types (#17379) We generalize several lemmas either to a type with the discrete topology, or to a `locally_finite_order_bot`.