Def UniformSpace.Completion.coeRingHom

Modification history