chore(algebra/lie/classical): speed up slow proof (#7894)
chore(algebra/lie/classical): speed up slow proof (#7894)

Squeeze a simp in a proof that has just timed out on bors



leanprover-community/mathlib,leanprover-community/mathlib