Theorem Matrix.linfty_op_nnnorm_row

Modification history