Theorem LieModule.traceForm_eq_sum_finrank_nsmul

Modification history