mathlib3

47b3c4b4 - feat(algebra/lie/basic): nilpotent and solvable Lie algebras (#5382)