mathlib3
61dd3432 - feat(probability_theory/martingale): define martingales (#10625)

Commit

4 years ago

feat(probability_theory/martingale): define martingales (#10625) Co-authored-by: RemyDegenne <remydegenne@gmail.com>

Author

RemyDegenne

Parents