Theorem comap_dist_left_atTop_eq_cocompact

Modification history