Theorem LieModule.weightSpace_chainTopCoeff_add_one_zsmul_add

Modification history