Theorem Matrix.linfty_op_norm_toMatrix

Modification history