Theorem Basis.op_norm_le

Modification history