Theorem Basis.exists_opNorm_le

Modification history