Theorem Matrix.ext_col

Modification history