mathlib3

132328c4 - feat(algebra/lie/weights): define weight spaces of Lie modules (#7537)