mathlib3

66055ddf - feat(algebra/lie/cartan_matrix): define the exceptional Lie algebras (#8299)