Comment by dinga

I skimmed through it. Looks fine. Had a bit of trouble following step 5 of theroem 10.5 (page 89), but after a second look it became all too obvious.