Theorem LieAlgebra.is_cartan_of_zeroRootSubalgebra_eq

Modification history