Lemma 7.11 (0I0B)
0 tagged blocks link here.
Theo Johnson-Freyd, Claudia Scheimbauer
Original source: arXiv:1502.06526v3