Theorem LieAlgebra.hasCentralRadical_and_of_isIrreducible_of_isFaithful

Modification history