Classical CW bridge support dependency map

Parent map · Full theorem DAG

This map shows the container's direct articles. Nested containers are collapsed and clickable; dependency edges are rolled up from their leaves. What the colours mean

fully proved7Proved, and every prerequisite is fully proved too.

graph LR n0["Classical and standard cells have isomorphic attaching arrows"]:::fully_proved n1("Compact subsets lie in a bounded skeleton"):::fully_proved n2("A successor classical skeleton has the cell-attachment quotient topology"):::fully_proved n3["External chapter: Appendix<br/><small>2 items · 2 fully proved</small>"]:::boundary n4["External chapter: The fundamental group<br/><small>2 items · 2 fully proved</small>"]:::boundary n0 --> n2 n0 --> n3 n1 -. 2 .-> n4 n2 --> n3 n3 -.-> n1 click n0 "../../../roadmap/appendix/classical-cw-bridge/index.html#classical-cell-arrow-iso" "Classical and standard cells have isomorphic attaching arrows — 1 item · 1 fully proved" click n1 "../../../roadmap/appendix/classical-cw-bridge/index.html#compact-subset-bounded-skeleton" "Compact subsets lie in a bounded skeleton — 1 item · 1 fully proved" click n2 "../../../roadmap/appendix/classical-cw-bridge/index.html#successor-skeleton-quotient" "A successor classical skeleton has the cell-attachment quotient topology — 1 item · 1 fully proved" click n3 "../../chapters/appendix.html" "Appendix — 2 items · 2 fully proved" click n4 "../../chapters/fundamental-group.html" "The fundamental group — 2 items · 2 fully proved"