Theorem Matrix.row_def

Modification history