Theorem Basis.exists_op_norm_le

Modification history