mathlib
4c76eac9 - chore(probability_theory/*): Rename folder (#11989)

Commit

3 years ago

chore(probability_theory/*): Rename folder (#11989) Rename `probability_theory` to `probability`.

Author

YaelDillies

Parents