Theorem Matrix.linfty_opNorm_mul

Modification history