Theorem Matrix.linfty_op_nnnorm_col

Modification history