Theorem AntilipschitzWith.comap_uniformity_le

Modification history