Theorem LieHom.isSolvable_range

Modification history

2025-01-02 22:00
Mathlib/Algebra/Lie/Solvable.lean
chore(Algebra/Lie/Solvable): add instance IsSolvable R A for LieIdeal R L (#20395)
Deleted LieHom.isSolvable_rangeView on Github →
2023-06-05 05:02
Mathlib/Algebra/Lie/Solvable.lean
feat: port Algebra.Lie.Solvable (#4634)
Added LieHom.isSolvable_rangeView on Github →