cartan_subalgebra): define Cartan subalgebras (#6385)

Commit

5 years ago

feat(algebra/lie/cartan_subalgebra): define Cartan subalgebras (#6385) We do this via the normalizer of a Lie subalgebra, which is also defined here.

Author

ocfnash

Parents