Harris, T. L. J. An a.e. Lower Bound for Hausdorff Dimension under Vertical Projections in the Heisenberg Group. Ann. Fenn. Math. 2020, 45 (2), 723–737. https://doi.org/10.5186/aasfm.2020.4529.