The lower pp‐series of analytic pro‐pp groups and Hausdorff dimension | Publicación