Lemma 4.27 (06XR)
0 tagged blocks link here.
Eugene Gorsky, Matthew Hogancamp, Paul Wedrich
Original source: arXiv:2002.06110v2