1 paper
Maxime Ramzi
We prove that for any presentably symmetric monoidal ∞-category V, the ∞-category ModV(PrL)dbl of d…