Theorem LieAlgebra.toLieSubmodule_le_rootSpace_zero

Modification history