Theorem Matrix.col_def

Modification history