weights): the zero root space is the Cartan subalgebra for a Noetherian Lie algebra (#14174)

Commit

3 years ago

feat(algebra/lie/weights): the zero root space is the Cartan subalgebra for a Noetherian Lie algebra (#14174)

Author

ocfnash

Parents