Wiles-Taylor 1995 'Modular elliptic curves and Fermat's Last Theorem'. Every semistable-elliptic-curve over ℚ is modular. Implies FLT. Breuil-Conrad-Diamond-Taylor 2001 generalised.
Wiles-Taylor 1995 'Modular elliptic curves and Fermat's Last Theorem'. Every semistable-elliptic-curve over ℚ is modular. Implies FLT. Breuil-Conrad-Diamond-Taylor 2001 generalised.