Theorem Matrix.transpose_empty_rows

Modification history