Theorem ContinuousMap.dist_lt_of_dist_lt_modulus

Modification history