from_cartan_matrix): construction of a Lie algebra from a Cartan matrix (#8206)

Commit

4 years ago

feat(algebra/lie/from_cartan_matrix): construction of a Lie algebra from a Cartan matrix (#8206)

Author

ocfnash

Parents