mathlib

bf8f25ae - feat(algebra/lie_algebra): quotients of Lie modules are Lie modules (#2335)