Theorem Matrix.fromCols_ext_iff

Modification history