mathlib3

e8ef7449 - docs(probability/martingale): missing word (#13113)