Theorem Matrix.fromRows_zero

Modification history