clarify notation and coherence of naturality, close #331
Don't use traditional propositional notation before it's introduced, fix #346
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
fix typo around Theorem 2.12.5, close #350
Remove some stray commas
Reunite a long sentence
Simplify base case of Theorem 7.1.10
Fix a typo: "entires"