Theorem LieModule.genWeightSpace_le_genWeightSpaceOf

Modification history