Theorem LieAlgebra.isSolvable_tensorProduct_iff

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.isSolvable_tensorProduct_iff View on Github →