Theorem LieAlgebra.hasTrivialRadical_of_isIrreducible_of_isFaithful

Modification history