Theorem UniformSpace.Completion.uniformContinuous_completionSeparationQuotientEquiv

Modification history