Theorem Basis.opNNNorm_le

Modification history