Theorem BoundedContinuousFunction.norm_def

Modification history