centralizer): define the centralizer of a Lie submodule and the upper central series (#14173)

Commit

3 years ago

feat(algebra/lie/centralizer): define the centralizer of a Lie submodule and the upper central series (#14173)

Author

ocfnash

Parents