Theorem UniformSpace.comap_quotient_eq_uniformity

Modification history