Theorem Matrix.cons_val_succ'

Modification history