basic): show `I + J` is solvable if Lie ideals `I`, `J` are solvable (#5819)

Commit

4 years ago

feat(algebra/lie/basic): show `I + J` is solvable if Lie ideals `I`, `J` are solvable (#5819) The key result is `lie_algebra.is_solvable_add`

Author

ocfnash

Parents