nilpotent): nilpotency of Lie modules depends only on the Lie subalgebra of linear endomorphisms (#11853)

Commit

4 years ago

feat(algebra/lie/nilpotent): nilpotency of Lie modules depends only on the Lie subalgebra of linear endomorphisms (#11853)

Author

ocfnash

Parents