mathlib
6aea8acc - chore(probability_theory/stopping): fix names in documentation (#11644)

Commit

4 years ago

chore(probability_theory/stopping): fix names in documentation (#11644)

Author

kex-y

kex-y

Parents

Loading