Theorem Matrix.transpose_transpose

Modification history