Theorem lie_algebra.is_solvable_of_injective
Modification history
2021-02-26 20:32
src/algebra/lie/solvable.lean
feat(algebra/lie/solvable): images of solvable Lie algebras are solvable (#6413) …
Deleted lie_algebra.is_solvable_of_injectiveView on Github →