Theorem UniformFun.dist_le

Modification history