Theorem LieAlgebra.zeroRootSubalgebra_eq_iff_is_cartan

Modification history