Theorem LieAlgebra.mem_zeroRootSubalgebra

Modification history