P
Initializing...
Main conjecture of Iwasawa theory (Mazur–Wiles) · Prove2Me