Theorem UniformFun.edist_def

Modification history