OAI/GroupTheory/PolycyclicRecognition/Geometry/TriangularAdjointSolvable.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Solvability from a real triangular adjoint basis

  1. theorem OAI.PolycyclicRecognition.TriangularAdjoint.lieAlgebra_isSolvable line 13