mathlib3

e76fdb9e - docs(undergrad.yaml): analysis updates (#5675)

docs(undergrad.yaml): analysis updates (#5675) Updates to `undergrad.yaml` (including reverting some changes from #5638, after further discussion), and fix a docstring typo in `measure_theory.interval_integral`.