Theorem LieModule.weightSpace_le_genWeightSpace

Modification history