Some y's in lemma 7.5.14 should be f(x)'s.
unmarked errata for 00469d9
Merge pull request #503 from mikeshulman/lemma7.5.14

Lemma7.5.14