June 5, 2023

Horizontal compactness