Proof. These facts follow from [CS93, CRS97]. ∎
Scott Morrison, Kevin Walker, Paul Wedrich
Original source: arXiv:1907.12194v5
Chapter overview
Read the whole chapter