Theorem Matrix.transpose_add

Modification history