Theorem LieModule.trace_comp_toEnd_genWeightSpace_eq

Modification history