Theorem Matrix.linfty_op_norm_eq_op_norm

Modification history