Theorem Matrix.linfty_op_nnnorm_diagonal

Modification history