Theorem LieAlgebra.derivedSeries_lt_top_of_solvable

Modification history

2025-01-08 05:27

Mathlib/Algebra/Lie/Solvable.lean

chore(Algebra/Lie): make IsNilpotent and IsSolvable independent of scalars (#20556)

Modified LieAlgebra.derivedSeries_lt_top_of_solvable View on Github →

2024-07-06 19:49

Mathlib/Algebra/Lie/Solvable.lean

chore(Algebra/Lie): prerequisites for Lie's theorem (#14470)

Added LieAlgebra.derivedSeries_lt_top_of_solvable View on Github →