mathlib

7a6d8505 - feat(probability/stopping): measurability of comparisons of stopping times (#14061)

feat(probability/stopping): measurability of comparisons of stopping times (#14061) Among other related results, prove that `{x | τ x ≤ π x}` is measurable with respect to the sigma algebras generated by each of the two stopping times involved. Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>