Theorem Algebra.traceMatrix_of_matrix_vecMul

Modification history