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