Lemma 5.23 (077N)
0 tagged blocks link here.
David Ayala, John Francis, Nick Rozenblyum
Original source: arXiv:1504.04007v7