M\"obius Disjointness for Skew Products on the Heisenberg Nilmanifold

We prove that the Mobius function is disjoint to all Lipschitz continuous skew product dynamical systems on the 3-dimensional Heisenberg nilmanifold over a minimal rotation of the 2-dimensional torus.