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), pp. 723–737. doi:10.5186/aasfm.2020.4529.