Theorem uniformity_eq_comap_inv_mul_nhds_one

Modification history