Theorem UniformSpace.Completion.uniformContinuous_extension₂

Modification history