mathlib

5c13693f - chore(algebra/classical_lie_algebras): fix some doc strings (#3776)