nilpotent): nilpotency of Lie modules is preserved under surjective morphisms (#11852)

Commit

3 years ago

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

Author

ocfnash

Parents