Main theorems dependency map

Project map · Full theorem DAG · Open textbook chapter

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

fully proved1Proved, and every prerequisite is fully proved too.ready to state2Nothing it needs is blocked, so the statement can be written in Lean.planned5Described in the blueprint only.

graph LR n0("Almost-periodic flow"):::planned n1("Hilbert--Smith conjecture"):::planned n2("$p$-adic exclusion"):::planned n3["External chapter: Background prerequisites<br/><small>3 items · 1 fully proved · 2 ready to state</small>"]:::boundary n4["External chapter: Character classes and the contradiction<br/><small>1 item · 1 planned</small>"]:::boundary n5["External chapter: Preparing local tests<br/><small>1 item · 1 planned</small>"]:::boundary n3 -.-> n0 n3 -.-> n1 n3 -.-> n2 n4 -.-> n2 n5 -.-> n2 n1 -.-> n0 n2 -.-> n1 click n0 "../../roadmap/main-theorem/index.html#almost-periodic-flow" "Almost-periodic flow — 1 item · 1 planned" click n1 "../../roadmap/main-theorem/index.html#hilbert-smith-conjecture" "Hilbert--Smith conjecture — 1 item · 1 planned" click n2 "../../roadmap/main-theorem/index.html#padic-exclusion" "$p$-adic exclusion — 1 item · 1 planned" click n3 "background.html" "Background prerequisites — 3 items · 1 fully proved · 2 ready to state" click n4 "character-classes.html" "Character classes and the contradiction — 1 item · 1 planned" click n5 "local-tests.html" "Preparing local tests — 1 item · 1 planned"