Theorem Matrix.linfty_op_nnnorm_mul

Modification history