Theorem UniformSpace.Completion.continuous_toCompl

Modification history