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 (Aug. 2020), 723–737. DOI:https://doi.org/10.5186/aasfm.2020.4529.