Theorem UniformSpace.Completion.extensionHom_coe

Modification history