Pomeau-Manneville maps are global-local mixing

We prove that a large class of expanding maps of the unit interval with a $C^2$-regular indifferent point in 0 and full increasing branches are global-local mixing. This class includes the standard Pomeau-Manneville maps $T(x) = x + x^{p+1}$ mod 1 ($p \ge 1$), the Liverani-Saussol-Vaienti maps (with index $p \ge 1$) and many generalizations thereof.