Corollary 7.11 (0I6Y)
0 tagged blocks link here.
Matthew Hogancamp, David E. V. Rose, Paul Wedrich
Original source: arXiv:2107.09590v1