Theorem LieModule.traceForm_eq_sum_weightSpaceOf

Modification history