Theorem Matrix.linfty_op_norm_diagonal

Modification history