Theorem LieAlgebra.hasTrivialRadical_and_of_isIrreducible_of_isFaithful

Modification history