Theorem Matrix.fromColumns_zero

Modification history