Theorem Matrix.of_zero

Modification history