Theorem Metric.comap_dist_right_atTop

Modification history