feat(algebra/lie/nilpotent): nilpotency of Lie modules is preserved under surjective morphisms (#11852)
feat(algebra/lie/nilpotent): nilpotency of Lie modules is preserved under surjective morphisms (#11852)






leanprover-community/mathlib,leanprover-community/mathlib