Homology dependency map

Project map · Full theorem DAG · Open textbook chapter

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

in mathlib10Upstreamed into Mathlib.fully proved136Proved, and every prerequisite is fully proved too.ready to state2Prerequisites are stated, so this can be written down.not ready1Needs more blueprint work before it can be attempted.planned5Described in the blueprint only.

graph LR n0["Computations and applications<br/><small>90 items · 83 fully proved · 2 ready to state · 5 planned</small>"]:::scope n1("The formal viewpoint"):::not_ready n2["Simplicial and singular homology<br/><small>55 items · 10 in mathlib · 45 fully proved</small>"]:::scope n3["External chapter: The fundamental group<br/><small>8 items · 8 fully proved</small>"]:::boundary n3 -->|3| n0 n3 -. 6 .-> n0 n2 -->|41| n0 n2 -. 32 .-> n0 click n0 "../scopes/homology/computations-and-applications.html" "Computations and applications — 90 items · 83 fully proved · 2 ready to state · 5 planned" click n1 "../../roadmap/homology/formal-viewpoint/index.html" "The formal viewpoint — 1 item · 1 not ready" click n2 "../scopes/homology/simplicial-and-singular.html" "Simplicial and singular homology — 55 items · 10 in mathlib · 45 fully proved" click n3 "fundamental-group.html" "The fundamental group — 8 items · 8 fully proved"