Theorem UniformFun.edist_le

Modification history