Theorem Algebra.traceMatrix_of_basis_mulVec

Modification history