Theorem LieModule.weightSpace_le_weightSpaceOf

Modification history