mathlib3

68d29f52 - feat(probability/stopping): measurability of sets related to stopping times, under countable/encodable assumptions (#14750)

feat(probability/stopping): measurability of sets related to stopping times, under countable/encodable assumptions (#14750) The file already contains similar lemmas under assumptions on the topology of the index set. The new results use countability hypotheses instead.