1 problem

Let $K$ be a totally real number field, let $p$ be an odd prime, and let $L/K$ be a totally real Galois extension that is finite over the cyclotomic $\mathbb{Z}_p$-extension…