Optimization of the Ax-Sen-Tate theorem applied to a computation in \(p\)-adic Galois cohomology

From MaRDI portal