mathlib3
037147ec - feat(probability_theory/stopping): define stopped process (#10851)

Commit

4 years ago

feat(probability_theory/stopping): define stopped process (#10851) Co-authored-by: RemyDegenne <Remydegenne@gmail.com>

Author

kex-y

Parents