P
Initializing...
The Leopoldt defect is at most $\mathbb{Z}\text{-rk}(E) - 1$ · Prove2Me