Theorem LieAlgebra.lie_mem_genWeightSpace_of_mem_genWeightSpace

Modification history