mathlib

7018d4df - doc(undergrad.yaml): representation theory