Theorem LieModule.genWeightSpace_chainTopCoeff_add_one_nsmul_add

Modification history