Appendix dependency map

Project map · Full theorem DAG · Open textbook chapter

This map contains the 5 decomposed items in this chapter. Dashed chapter boxes stand for external prerequisites or dependents. What the colours mean

fully proved8Proved, and every prerequisite is fully proved too.

graph LR n0["Classical CW bridge support<br/><small>3 items · 3 fully proved</small>"]:::scope n1["Classical skeleton inclusions are abstract cell attachments"]:::fully_proved n2("Compact subsets lie in finite subcomplexes"):::fully_proved n3["External chapter: The fundamental group<br/><small>3 items · 3 fully proved</small>"]:::boundary n1 -. 2 .-> n3 n2 -.-> n0 n0 -->|2| n1 n0 -. 2 .-> n3 click n0 "../scopes/appendix/classical-cw-bridge.html" "Classical CW bridge support — 3 items · 3 fully proved" click n1 "../../roadmap/appendix/index.html#classical-skeleton-cell-attachment" "Classical skeleton inclusions are abstract cell attachments — 1 item · 1 fully proved" click n2 "../../roadmap/appendix/index.html#compact-subspace-finite-subcomplex" "Compact subsets lie in finite subcomplexes — 1 item · 1 fully proved" click n3 "fundamental-group.html" "The fundamental group — 3 items · 3 fully proved"