close #450
unmarked errata for 88ab6d2
Merge pull request #468 from mikeshulman/theorem4.4.3

Theorem4.4.3