The box product of countably many compact metric spaces

From MaRDI portal
Publication:5654746