Theorem Matrix.linfty_op_nnnorm_def

Modification history