Theorem Matrix.cons_zero_zero

Modification history