mathlib3

739d93c6 - feat(algebra/lie/weights): the zero root subalgebra is self-normalizing (#7622)