ScalingStacks

Proof. This is a straightforward verification. In particular, conditions (v), (vi) and (vii) come from the coherence laws satisfied by $\gamma_{f,g}$ in the Gray tensor product. ∎