close #463
unmarked errata for e51d87f
Merge pull request #469 from mikeshulman/theorem2.11.4

Theorem2.11.4