Dependency map

Each result is linked to the results that use it, taken from the “Used in” lines under every statement. Use it to see what a theorem rests on before you read its proof, or what depends on it before you skip it. Nodes are coloured by your saved progress: a result counts as read once you have marked its section as read.

Include exercisesFind a result

section read, or exercise done not yet highlightedLines run from a result to the results that use it.

Hover over or focus a result to see what it uses and what uses it. Select it to open it.

Every result and exercise that cites or is cited by another, with your progress
Result	Uses	Used in
Exercise 1.12		Theorem 9.7
Theorem 2.2		Corollary 2.3, Exercise 6.5
Corollary 2.3	Theorem 2.2	Exercise 2.1, Exercise 2.2, Exercise 2.8, Exercise 4.12
Exercise 2.1	Corollary 2.3
Exercise 2.2	Corollary 2.3
Exercise 2.8	Corollary 2.3
Theorem 3.1	Exercise 3.3	Exercise 3.2, Exercise 3.3, Exercise 3.4
Theorem 3.2	Exercise 3.4	Exercise 3.4, Exercise 3.5
Theorem 3.5		Corollary 3.6
Corollary 3.6	Theorem 3.5
Exercise 3.2	Theorem 3.1
Exercise 3.3	Theorem 3.1	Theorem 3.1
Exercise 3.4	Theorem 3.1, Theorem 3.2	Theorem 3.2
Exercise 3.5	Theorem 3.2	Exercise 3.7, Theorem 17.3
Exercise 3.6		Theorem 14.6
Exercise 3.7	Exercise 3.5	Exercise 4.13
Exercise 3.8		Exercise 4.15
Corollary 4.5	Exercise 4.9	Exercise 4.9, Exercise 4.14
Theorem 4.7		Exercise 17.12
Exercise 4.1	Exercise 4.3	Exercise 4.2, Exercise 4.3, Exercise 5.3
Exercise 4.2	Exercise 4.1, Exercise 4.4
Exercise 4.3	Exercise 4.1	Exercise 4.1, Exercise 4.4
Exercise 4.4	Exercise 4.3	Exercise 4.2
Exercise 4.6		Exercise 5.5
Exercise 4.7		Exercise 5.6
Exercise 4.9	Corollary 4.5	Corollary 4.5, Exercise 5.4
Exercise 4.12	Corollary 2.3	Exercise 13.10
Exercise 4.13	Exercise 3.7
Exercise 4.14	Corollary 4.5
Exercise 4.15	Exercise 3.8
Exercise 5.1		Exercise 5.2
Exercise 5.2	Exercise 5.1
Exercise 5.3	Exercise 4.1
Exercise 5.4	Exercise 4.9	Exercise 5.7, Exercise 11.8
Exercise 5.5	Exercise 4.6	Exercise 5.6
Exercise 5.6	Exercise 4.7, Exercise 5.5
Exercise 5.7	Exercise 5.4
Exercise 6.5	Theorem 2.2
Definition 7.1		Theorem 9.1
Exercise 7.1		Exercise 7.2
Exercise 7.2	Exercise 7.1
Exercise 7.5		Exercise 8.8
Exercise 8.5		Theorem 9.7, Theorem 11.2
Exercise 8.6		Exercise 12.2
Exercise 8.7	Theorem 9.1
Exercise 8.8	Exercise 7.5
Exercise 8.9		Exercise 9.4, Exercise 9.9, Exercise 11.9, Theorem 18.1
Exercise 8.10		Theorem 9.9, Exercise 9.11
Theorem 9.1	Definition 7.1	Exercise 8.7, Theorem 9.4, Lemma 10.10
Theorem 9.2		Exercise 9.1, Exercise 9.3, Exercise 10.2, Exercise 11.8, Theorem 17.3
Theorem 9.3		Theorem 9.7, Exercise 9.1, Exercise 9.3, Exercise 12.4, Theorem 17.4
Theorem 9.4	Theorem 9.1	Theorem 9.6, Exercise 9.1, Exercise 9.3, Exercise 12.8, Theorem 17.4
Lemma 9.5		Theorem 9.6, Theorem 9.7, Theorem 12.1
Theorem 9.6	Theorem 9.4, Lemma 9.5	Exercise 9.1, Exercise 9.3, Theorem 17.4
Theorem 9.7	Exercise 1.12, Exercise 8.5, Theorem 9.3, Lemma 9.5, Exercise 9.7	Exercise 9.1, Exercise 9.7, Exercise 9.12, Exercise 9.13, Exercise 9.14, Theorem 12.2, Exercise 12.11, Theorem 14.9
Definition 9.8		Exercise 9.17
Theorem 9.9	Exercise 8.10	Exercise 9.16, Theorem 12.1
Theorem 9.10		Exercise 9.12, Exercise 9.13, Exercise 9.16
Exercise 9.1	Theorem 9.2, Theorem 9.3, Theorem 9.4, Theorem 9.6, Theorem 9.7
Exercise 9.3	Theorem 9.2, Theorem 9.3, Theorem 9.4, Theorem 9.6
Exercise 9.4	Exercise 8.9
Exercise 9.7	Theorem 9.7	Theorem 9.7
Exercise 9.9	Exercise 8.9	Exercise 9.16, Exercise 12.1, Exercise 12.4, Exercise 12.8
Exercise 9.10		Exercise 10.5, Exercise 11.8
Exercise 9.11	Exercise 8.10	Exercise 9.16
Exercise 9.12	Theorem 9.7, Theorem 9.10	Exercise 9.14, Exercise 9.15
Exercise 9.13	Theorem 9.7, Theorem 9.10
Exercise 9.14	Theorem 9.7, Exercise 9.12	Exercise 9.16
Exercise 9.15	Exercise 9.12	Exercise 9.16
Exercise 9.16	Theorem 9.9, Theorem 9.10, Exercise 9.9, Exercise 9.11, Exercise 9.14, Exercise 9.15
Exercise 9.17	Definition 9.8
Theorem 10.2	Exercise 10.2	Remark 10.3, Exercise 10.2, Exercise 10.4, Theorem 11.5, Exercise 16.9
Remark 10.3	Theorem 10.2, Exercise 10.3
Theorem 10.4	Exercise 10.5	Exercise 10.5
Definition 10.6		Exercise 11.8, Exercise 12.1, Theorem 14.9
Theorem 10.7		Theorem 10.11, Theorem 11.8, Corollary 12.3, Exercise 12.2, Exercise 12.12
Lemma 10.9		Theorem 10.11
Lemma 10.10	Theorem 9.1	Theorem 10.11
Theorem 10.11	Theorem 10.7, Lemma 10.9, Lemma 10.10	Exercise 10.4, Theorem 13.4
Exercise 10.2	Theorem 9.2, Theorem 10.2	Theorem 10.2
Exercise 10.3		Remark 10.3
Exercise 10.4	Theorem 10.2, Theorem 10.11
Exercise 10.5	Exercise 9.10, Theorem 10.4	Theorem 10.4
Exercise 10.7	Exercise 11.11	Exercise 11.11
Definition 11.1		Exercise 11.6
Theorem 11.2	Exercise 8.5	Theorem 11.7, Theorem 11.9, Exercise 11.7, Exercise 14.12
Theorem 11.3		Theorem 12.1, Theorem 13.5, Theorem 18.1
Theorem 11.4		Theorem 11.5, Exercise 17.11
Theorem 11.5	Theorem 10.2, Theorem 11.4	Theorem 13.5, Theorem 18.1
Theorem 11.7	Theorem 11.2	Theorem 11.8, Theorem 12.1, Theorem 14.9, Exercise 14.12
Theorem 11.8	Theorem 10.7, Theorem 11.7
Theorem 11.9	Theorem 11.2	Exercise 11.9
Exercise 11.2		Exercise 11.3, Exercise 11.4
Exercise 11.3	Exercise 11.2
Exercise 11.4	Exercise 11.2
Exercise 11.6	Definition 11.1
Exercise 11.7	Theorem 11.2
Exercise 11.8	Exercise 5.4, Theorem 9.2, Exercise 9.10, Definition 10.6	Exercise 12.5, Exercise 12.6
Exercise 11.9	Exercise 8.9, Theorem 11.9
Exercise 11.11	Exercise 10.7	Exercise 10.7, Exercise 13.13
Theorem 12.1	Lemma 9.5, Theorem 9.9, Theorem 11.3, Theorem 11.7
Theorem 12.2	Theorem 9.7, Exercise 12.1, Exercise 12.11	Corollary 12.3, Exercise 12.11, Theorem 14.9
Corollary 12.3	Theorem 10.7, Theorem 12.2	Exercise 12.14, Remark 14.10
Exercise 12.1	Exercise 9.9, Definition 10.6	Theorem 12.2, Exercise 12.11
Exercise 12.2	Exercise 8.6, Theorem 10.7
Exercise 12.4	Theorem 9.3, Exercise 9.9	Exercise 12.5
Exercise 12.5	Exercise 11.8, Exercise 12.4
Exercise 12.6	Exercise 11.8
Exercise 12.7		Exercise 12.9
Exercise 12.8	Theorem 9.4, Exercise 9.9
Exercise 12.9	Exercise 12.7
Exercise 12.11	Theorem 9.7, Theorem 12.2, Exercise 12.1	Theorem 12.2
Exercise 12.12	Theorem 10.7
Exercise 12.14	Corollary 12.3
Definition 13.1	Exercise 13.1
Lemma 13.3	Exercise 13.2	Theorem 13.4, Theorem 13.5, Exercise 13.2
Theorem 13.4	Theorem 10.11, Lemma 13.3	Exercise 13.1
Theorem 13.5	Theorem 11.3, Theorem 11.5, Lemma 13.3
Remark 13.7	Exercise 13.4
Definition 13.8	Exercise 13.5
Proposition 13.9		Theorem 13.10, Exercise 13.6, Exercise 13.11, Exercise 13.13, Exercise 13.15
Theorem 13.10	Proposition 13.9	Proposition 13.13
Theorem 13.12	Proposition 13.13, Exercise 13.12
Proposition 13.13	Theorem 13.10	Theorem 13.12
Exercise 13.1	Theorem 13.4	Definition 13.1
Exercise 13.2	Lemma 13.3	Lemma 13.3
Exercise 13.3		Exercise 13.15
Exercise 13.4		Remark 13.7
Exercise 13.5		Definition 13.8, Exercise 13.6
Exercise 13.6	Proposition 13.9, Exercise 13.5	Exercise 13.8
Exercise 13.8	Exercise 13.6
Exercise 13.10	Exercise 4.12
Exercise 13.11	Proposition 13.9	Exercise 13.14
Exercise 13.12		Theorem 13.12
Exercise 13.13	Exercise 11.11, Proposition 13.9
Exercise 13.14	Exercise 13.11
Exercise 13.15	Proposition 13.9, Exercise 13.3
Theorem 14.4		Exercise 14.6, Exercise 14.9
Corollary 14.5		Theorem 14.9, Exercise 14.7
Theorem 14.6	Exercise 3.6
Corollary 14.7		Exercise 14.6
Theorem 14.9	Theorem 9.7, Definition 10.6, Theorem 11.7, Theorem 12.2, Corollary 14.5, Exercise 14.9
Remark 14.10	Corollary 12.3
Exercise 14.1		Exercise 14.2, Exercise 14.3, Exercise 14.4
Exercise 14.2	Exercise 14.1
Exercise 14.3	Exercise 14.1
Exercise 14.4	Exercise 14.1
Exercise 14.5		Exercise 14.6, Exercise 14.8, Exercise 16.3
Exercise 14.6	Theorem 14.4, Corollary 14.7, Exercise 14.5
Exercise 14.7	Corollary 14.5, Exercise 14.9	Exercise 15.6
Exercise 14.8	Exercise 14.5
Exercise 14.9	Theorem 14.4	Theorem 14.9, Exercise 14.7
Exercise 14.12	Theorem 11.2, Theorem 11.7
Theorem 15.1		Exercise 15.5
Remark 15.2	Exercise 15.8
Exercise 15.1		Exercise 15.2
Exercise 15.2	Exercise 15.1
Exercise 15.3	Exercise 15.8
Exercise 15.5	Theorem 15.1
Exercise 15.6	Exercise 14.7
Exercise 15.8		Remark 15.2, Exercise 15.3
Theorem 16.3	Exercise 16.2, Exercise 16.3	Theorem 16.5, Exercise 16.2, Exercise 16.8
Theorem 16.5	Theorem 16.3
Exercise 16.2	Theorem 16.3	Theorem 16.3
Exercise 16.3	Exercise 14.5	Theorem 16.3
Exercise 16.8	Theorem 16.3
Exercise 16.9	Theorem 10.2
Definition 17.1		Exercise 17.10, Exercise 17.15
Theorem 17.2		Exercise 17.9, Theorem 18.5
Theorem 17.3	Exercise 3.5, Theorem 9.2	Exercise 17.7, Exercise 17.8, Exercise 18.11
Theorem 17.4	Theorem 9.3, Theorem 9.4, Theorem 9.6	Exercise 17.3, Exercise 17.5, Exercise 17.6, Exercise 17.12
Theorem 17.5		Exercise 17.3, Exercise 17.7
Exercise 17.3	Theorem 17.4, Theorem 17.5
Exercise 17.5	Theorem 17.4	Exercise 17.6, Exercise 17.7, Exercise 18.9
Exercise 17.6	Theorem 17.4, Exercise 17.5
Exercise 17.7	Theorem 17.3, Theorem 17.5, Exercise 17.5
Exercise 17.8	Theorem 17.3
Exercise 17.9	Theorem 17.2
Exercise 17.10	Definition 17.1	Exercise 18.12
Exercise 17.11	Theorem 11.4
Exercise 17.12	Theorem 4.7, Theorem 17.4
Exercise 17.15	Definition 17.1
Theorem 18.1	Exercise 8.9, Theorem 11.3, Theorem 11.5, Exercise 18.1	Exercise 18.1, Exercise 18.2
Corollary 18.3		Theorem 18.4, Exercise 18.11
Theorem 18.4	Corollary 18.3	Exercise 18.11
Theorem 18.5	Theorem 17.2	Exercise 18.11
Exercise 18.1	Theorem 18.1	Theorem 18.1
Exercise 18.2	Theorem 18.1
Exercise 18.8		Exercise 18.9
Exercise 18.9	Exercise 17.5, Exercise 18.8
Exercise 18.11	Theorem 17.3, Corollary 18.3, Theorem 18.4, Theorem 18.5
Exercise 18.12	Exercise 17.10

Keyboard shortcuts

Single-key shortcuts
Key	Action
`n`	Next section
`p`	Previous section
`j`	Next exercise
`k`	Previous exercise
`h`	Show or hide all hints
`s`	Show or hide all solutions
`/`	Search
`?`	Show this list
`Ctrl` `K` or `⌘` `K`	Search (built in)
`Esc`	Close a dialog

Use single-key shortcuts

Shortcuts never fire while you type in a text field or hold Ctrl, Alt or ⌘. Screen reader users in browse mode can press the keys after switching to focus mode, or turn them off here.