Theorem 4.28 (06XS)
0 tagged blocks link here.
Eugene Gorsky, Matthew Hogancamp, Paul Wedrich
Original source: arXiv:2002.06110v2