Ergodic proof of an equidistribution result of Ferrero-Washington

We reprove the main equidistribution instance in the Ferrero-Washington proof of the vanishing of cyclotomic Iwasawa $\mu$-invariant, based on the ergodicity of a certain $p$-adic skew-product extension dynamical system that can be identified with Bernoulli shift (joint with Bharathwaj Palvannan).