{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreieyhuaxlpkewh2xfpc6zhzmrc4zf6wonvxag4wj2hx5aaxabvll2e",
    "uri": "at://did:plc:6t55zewcvauifrt5ts3usclu/app.bsky.feed.post/3mj4fybyktfa2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreidzsnwx52nlqpxvth32go6wiq7mz6lihq7uuvqj7yoc2qun4xurni"
    },
    "mimeType": "image/png",
    "size": 6035
  },
  "path": "/questions/510052/is-the-countable-box-product-of-real-lines-a-cech-complete-space",
  "publishedAt": "2026-04-09T10:57:45.000Z",
  "site": "https://mathoverflow.net",
  "title": "Is the countable box product of real lines a Cech-complete space? – mathoverflow.net",
  "updatedAt": "2026-04-09T14:25:14.000Z"
}