cite 2.11.3 and 2.11.5 in 6.2.8, close #527
unmarked errata for 72b677d
Merge pull request #536 from mikeshulman/lemma6.2.8

cite 2.11.3 and 2.11.5 in 6.2.8, close #527