Theorem Matrix.mul_val_succ

Modification history