Theorem Basis.exists_opNNNorm_le

Modification history