Theorem LieAlgebra.zeroRootSubalgebra_eq_of_is_cartan

Modification history