mathlib3
53363db9 - docs(undegrad.yaml): fix previous PR (#17506)

Commit

3 years ago

docs(undegrad.yaml): fix previous PR (#17506) Moved the updates on representation theory to the section where they are supposed to be.

Author

antoinelab01

Parents