Theorem LieAlgebra.derivedSeriesOfIdeal_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.derivedSeriesOfIdeal_baseChangeView on Github →