Proof. This is immediate from the explicit description of these chain maps. ∎
Scott Morrison, Kevin Walker, Paul Wedrich
Original source: arXiv:1907.12194v5
Chapter overview
Read the whole chapter