Theorem Matrix.linfty_op_nnnorm_eq_op_nnnorm

Modification history