Theorem LieAlgebra.HasTrivialRadical.eq_bot_of_isSolvable

Modification history