Lemma 3.12 (074X)
0 tagged blocks link here.
David Ayala, John Francis, Nick Rozenblyum
Original source: arXiv:1504.04007v7