Three closed sets covering the sphere contain an antipodal pair: local context

Project map · Chapter map · Full theorem DAG · Open textbook statement

This local map shows one dependency hop in either direction. The highlighted item is the current focus. What the colours mean

fully proved2Proved, and every prerequisite is fully proved too.

graph LR n0("Borsuk–Ulam for the two-sphere"):::fully_proved n1("Three closed sets covering the sphere contain an antipodal pair"):::fully_proved n0 --> n1 click n0 "../../../../roadmap/fundamental-group/basic-constructions/index.html#borsuk-ulam-sphere" "Borsuk–Ulam for the two-sphere — 1 item · 1 fully proved" class n1 focus click n1 "../../../../roadmap/fundamental-group/basic-constructions/index.html#three-closed-sets-antipodal" "Three closed sets covering the sphere contain an antipodal pair — 1 item · 1 fully proved"