Def UniformSpace.Completion.mapRingHom

Modification history