December 2, 2023

Horizontal compactness