5 ms·

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.

• _zoltan_ 24d ago
  basically trivial.
• cmenge 24d ago
  I was more confused by the application of Nakayama’s lemma in the following paragraph, but then it suddenly became clear to me.