Harris TLJ. An a.e. lower bound for Hausdorff dimension under vertical projections in the Heisenberg group. Ann. Fenn. Math. 2020;45(2):723–737. doi:10.5186/aasfm.2020.4529