P
Initializing...
Existence and uniqueness of the Iwasawa power series $G_p(\omega^j,T)$ · Prove2Me