1 problem

Let $\mathcal{X} \to \Delta^{\operatorname{op}}$ be an admissible double $\infty$-category and let $\mathcal{V}$ be a presentably monoidal $\infty$-category. Corollary 3.?? equips…