Theorem UniformOnFun.edist_continuousRestrict_of_singleton

Modification history