mathlib3

c005eac4 - doc(undergrad.yaml): representation theory (#17459)