Quadrelli, 2021. Galois-theoretic features for 1-smooth pro-p groups.