Theorem Matrix.linfty_op_norm_col

Modification history