Theorem Matrix.cons_add

Modification history