Theorem LieModule.traceForm_eq_sum_finrank_nsmul_mul

Modification history