Theorem BoundedContinuousFunction.dist_eq_iSup

Modification history