Harris, T. L. J. (2020). An a.e. lower bound for Hausdorff dimension under vertical projections in the Heisenberg group. Annales Fennici Mathematici, 45(2), 723–737. https://doi.org/10.5186/aasfm.2020.4529