mathlib

1c775cc6 - docs(tutorials/representation_theory): beginnings of a tutorial following Etingof's notes (#13911)