TY - RPRT TI - Existence of length minimizers in homotopy classes of Lipschitz paths in $\mathbb{H}^1$ AU - Daniel Perry PY - 2024 UR - https://arxiv.org/abs/2306.01838 ID - 2306.01838 ER -