Harris TLJ. An a.e. lower bound for Hausdorff dimension under vertical projections in the Heisenberg group. Ann. Fenn. Math. [Internet]. 2020Aug.1 [cited 2024May20];45(2):723–737. Available from: https://afm.journal.fi/article/view/135879