Theorem Matrix.transpose_empty_cols

Modification history