Dependency graph
Each node is a claim; an arrow runs from a claim to the claims whose proofs use it, so the foundations are at the top and the main results lower down. Dashed arrows run from a superseded claim to the one that replaces it. Colour is the status. Drag to pan, scroll or pinch to zoom, hover for the full label, click a node to open its page. Grey nodes are cited claims of notes whose manifests are not yet published.
provedproved-uncheckedcertifiedsolveropenclosed-routecorrectedrefutednot yet in a manifest
The graph as a list
- theorem-h-orientation/model uses: nothing
- theorem-h-orientation/thm-h uses: theorem-h-orientation/thm-1, theorem-h-orientation/thm-14, theorem-h-orientation/thm-23, theorem-h-orientation/thm-2, theorem-h-orientation/thm-24
- theorem-h-orientation/thm-u uses: nothing
- theorem-h-orientation/thm-1 uses: theorem-h-orientation/thm-m-prime, theorem-h-orientation/cage-laws, theorem-h-orientation/thm-3-diagonal-law, theorem-h-orientation/thm-6-separability, theorem-h-orientation/thm-15, theorem-h-orientation/parametrisation-c, theorem-h-orientation/lemma-21
- theorem-h-orientation/thm-1-first-form uses: theorem-h-orientation/ku, theorem-h-orientation/thm-m-prime, theorem-h-orientation/cage-laws, theorem-h-orientation/thm-3-diagonal-law
- theorem-h-orientation/thm-2 uses: theorem-h-orientation/thm-1, theorem-h-orientation/u-prime-certificates-2026-09-27, theorem-h-orientation/u-prime-certificates-2026-10-01, theorem-h-orientation/lemma-21
- theorem-h-orientation/thm-24 uses: theorem-h-orientation/lemma-21, theorem-h-orientation/thm-2
- theorem-h-orientation/lemma-21 uses: theorem-h-orientation/model
- theorem-h-orientation/thm-14 uses: theorem-h-orientation/parametrisation-c, theorem-h-orientation/thm-m-prime
- theorem-h-orientation/thm-22 uses: theorem-h-orientation/parametrisation-c, theorem-h-orientation/thm-m-prime
- theorem-h-orientation/thm-23 uses: theorem-h-orientation/thm-22, theorem-h-orientation/cage-laws, theorem-h-orientation/thm-m-prime
- theorem-h-orientation/thm-10 uses: theorem-h-orientation/parametrisation-c, theorem-h-orientation/thm-m-prime
- theorem-h-orientation/thm-11 uses: theorem-h-orientation/parametrisation-c, theorem-h-orientation/thm-m-prime
- theorem-h-orientation/u-prime-certificates-2026-09-27 uses: theorem-h-orientation/model
- theorem-h-orientation/u-prime-certificates-2026-10-01 uses: theorem-h-orientation/model
- theorem-h-orientation/thm-9-diagonal-law uses: theorem-h-orientation/cage-laws
- theorem-h-orientation/thm-3-diagonal-law uses: theorem-h-orientation/thm-9-diagonal-law
- theorem-h-orientation/thm-6-separability uses: theorem-h-orientation/cage-laws, theorem-h-orientation/thm-3-diagonal-law
- theorem-h-orientation/thm-15 uses: theorem-h-orientation/parametrisation-c
- theorem-h-orientation/cage-laws uses: theorem-h-orientation/model
- theorem-h-orientation/parametrisation-c uses: theorem-h-orientation/model
- theorem-h-orientation/thm-m-prime uses: theorem-h-orientation/model
- theorem-h-orientation/ku uses: theorem-h-orientation/model
- theorem-h-orientation/ku-first-step-hand uses: theorem-h-orientation/thm-9-diagonal-law, theorem-h-orientation/thm-3-diagonal-law
- theorem-h-orientation/v-reach-law uses: theorem-h-orientation/model
- theorem-h-orientation/closed-linear-relaxation uses: theorem-h-orientation/cage-laws
- theorem-h-orientation/closed-tilted-sheet uses: theorem-h-orientation/v-reach-law
- theorem-h-orientation/statement-r-box-lemma uses: theorem-h-orientation/model
- theorem-h-orientation/closed-r-then-monodromy uses: theorem-h-orientation/statement-r-box-lemma, theorem-h-orientation/parametrisation-c
- theorem-h-orientation/kink-counts-per-class uses: theorem-h-orientation/cage-laws, theorem-h-orientation/model
- theorem-h-orientation/closed-kink-counts uses: theorem-h-orientation/kink-counts-per-class, theorem-h-orientation/v-reach-law
- theorem-h-orientation/weights-integrality-correction uses: theorem-h-orientation/parametrisation-c
- theorem-h-orientation/periodicity uses: theorem-h-orientation/thm-h, curl-reduction/thm-p, curl-reduction/lemma-a, curl-reduction/lemma-l
- theorem-h-orientation/thin-cells-aperiodic uses: theorem-h-orientation/model