mathlib

02dc6f25 - feat(probability/stopping): filtrations are a complete lattice (#12169)