Theorem BoundedContinuousFunction.norm_eq_zero_of_empty

Modification history