Theorem UniformSpace.Completion.comap_coe_eq_uniformity

Modification history