Proof. This follows directly from unwinding 2.3.3. ∎
Tomer Schlank, Lior Yanovski
Original source: arXiv:1808.06006v3
Chapter overview
Read the whole chapter
Original source page 15
Original source · 1808.06006v3