Theorem Matrix.cons_val_zero

Modification history