Theorem LieAlgebra.rootSpace_comap_eq_genWeightSpace

Modification history