mathlib3

77f0d8b3 - feat(probabiliy/martingale): centering lemma (#16517)

feat(probabiliy/martingale): centering lemma (#16517) We provide the decomposition of an adapted and integrable stochastic process into a predictable part and a martingale part. Co-authored-by: Rémy Degenne <remydegenne@gmail.com>