Theorem LieModule.Weight.genWeightSpaceOf_ne_bot

Modification history