basic): define the radical of a Lie algebra and prove it is solvable (#5833)

Commit

4 years ago

feat(algebra/lie/basic): define the radical of a Lie algebra and prove it is solvable (#5833)

Author

ocfnash

Parents