A Fubini rule for $\mathrm{\infty }$-coends

We prove a Fubini rule for $\mathrm{\infty }$-co/ends of $\mathrm{\infty }$-functors $F : \mathcal C^$\text{op}$\times\mathcal C\to \mathcal D$. This allows to lay down “integration rules”, similar to those in classical co/end calculus, also in the setting of $\mathrm{\infty }$-categories.