mathlib3
d2ebcad1 - fix(undergrad.yaml): reinstate deleted entry (#10416)

Commit

4 years ago

fix(undergrad.yaml): reinstate deleted entry (#10416) Revert an (I assume accidental?) deletion in #10415. cc @PatrickMassot

Author

hrmacbeth

Parents