Commit 2025-01-02 22:00 ec3b0067

View on Github →

chore(Algebra/Lie/Solvable): add instance IsSolvable R A for LieIdeal R L (#20395)

Estimated changes

deleted theorem LieHom.isSolvable_range