P
Initializing...
Brumer's theorem for $\mathbb{Q}(\zeta_n)$ with $\varphi(n) > 4$ · Prove2Me