“…Proof. The proof is essentially identical to the computation of DS x given in [GS22], and we will explain it using the language from that article. Namely, because DS k x,y is a symmetric monoidal functor, and it takes the standard module to the standard module, it will commute with translation functors.…”