Good summary, except that you are understating the fatal and very significant mistake in Wiles' original argument (which involved Euler systems), and the diffic

Good summary, except that you are understating the fatal and very significant mistake in Wiles' original argument (which involved Euler systems), and the difficulty in fixing it. Also, Richard Taylor helped enormously in coming up with a new argument (using deformation theory) that actually worked...