zaro
Category: Compactness
Is a Closed Disk Compact?