Theorem Algebra.traceMatrix_eq_embeddingsMatrixReindex_mul_trans

Modification history