Theorem LieModule.shiftedGenWeightSpace.coe_lie_shiftedGenWeightSpace_apply

Modification history