mathlib3

fe45ef24 - feat(algebra/lie/of_associative): add `commute.lie_eq` (#15675)