https://123dok.net/document/yd7k8n6l-p-adic-leopoldt-transform-power-series.html