Theorem UniformFun.edist_eval_le

Modification history