mathlib

2f99fd41 - docs(undergrad): clean up distribution section (#15600)