Theorem BoundedContinuousFunction.abs_diff_coe_le_dist

Modification history