typos in Lemma 6.12.7, close #573
unmarked errata for 6dce346
Merge pull request #575 from mikeshulman/lemma6.12.7

typos in Lemma 6.12.7, close #573