mathlib
a6f55313 - feat(probability_theory/stopping): generalize a lemma (#10598)

Commit

4 years ago

feat(probability_theory/stopping): generalize a lemma (#10598)

Author

kex-y

kex-y

Committer

jcommelin

jcommelin

Parents

Loading