Theorem LieModule.genWeightSpaceChain_neg

Modification history