Theorem Matrix.row_empty

Modification history