semisimple): adjoint action is injective for semisimple Lie algebras (#8698)

Commit

4 years ago

feat(algebra/lie/semisimple): adjoint action is injective for semisimple Lie algebras (#8698)

Author

ocfnash

Parents