Mazur–Wiles theorem

Redirect to:

• Main conjecture of Iwasawa theory