Theorem LieAlgebra.derivedSeries_baseChange

Modification history

2025-01-17 19:10

Mathlib/Algebra/Lie/Solvable.lean

feat(Algebra/Lie): a Lie algebra is solvable iff it is solvable after faithfully flat base change (#20808)

Added LieAlgebra.derivedSeries_baseChange View on Github →