Theorem LieModule.shiftedWeightSpace.coe_lie_shiftedWeightSpace_apply

Modification history