Theorem Matrix.linfty_op_norm_def

Modification history