Theorem Matrix.l2_opNorm_mul

Modification history