Theorem Matrix.cons_val_succ

Modification history