Def UniformSpace.completion_hom

Modification history