mathlib
9c473c1d - feat(probability/density): probability of event in uniform distribution (#15678)

Commit

3 years ago

feat(probability/density): probability of event in uniform distribution (#15678) Co-authored-by: Bhavik Mehta <bm489@cam.ac.uk>

Author

b-mehta

Parents