Theorem Matrix.cons_mul

Modification history