clarify notation and coherence of naturality, close #331
Fix the error in Lemma 11.4.1 better, I think
typo: missing ^-1
add crossref, close #351
Merge pull request #352 from ecavallo/master

typo in proof of Definition 8.6.5
Merge pull request #349 from mikeshulman/realcoincidence

Fix the error in Lemma 11.4.1 better, I think
Merge pull request #335 from mikeshulman/naturality

clarify notation and coherence of naturality, close #331
Merge pull request #353 from mikeshulman/crossref

add crossref, close #351
Correct a whitespace error
Correct "p" to "r" in the proof of Lemma 3.11.7
Correct a dislocated comma
Merge pull request #354 from rwbarton/master

Correct a whitespace error
Merge pull request #355 from rwbarton/lemma-3-11-7

Correct "p" to "r" in the proof of Lemma 3.11.7
Merge pull request #358 from rwbarton/chapter-5-8

Correct a dislocated comma