Theorem BoundedContinuousFunction.norm_le

Modification history