Theorem Matrix.transpose_mul

Modification history