Theorem LieModule.shiftedWeightSpace.toEnd_eq

Modification history