Theorem Matrix.linfty_opNNNorm_eq_opNNNorm

Modification history