Theorem BoundedContinuousFunction.norm_const_eq

Modification history