Theorem Matrix.cons_val_zero'

Modification history