Verified tagged author-source HTML · 1904.03696v1 · cited publication edition alignment unverified.
Proof. This follows from Proposition 2.26, Proposition 2.88 and Proposition 2.27. ∎
Chapter overview
Read the whole chapter