Theorem UniformSpace.uniformContinuous_quotient_mk'

Modification history