Lemma 3.57 (076B)
0 tagged blocks link here.
David Ayala, John Francis, Nick Rozenblyum
Original source: arXiv:1504.04007v7