Relative tensor product bimodules

Proposition 19.2.13 ([Lurie (2017), Proposition 4.4.3.12]). Let \(C\) be a monoidal \(\infty \)-category. Assume that \(C\) admits geometric realizations and that the tensor product \(- \otimes -\colon C \times C \to C\) preserves geometric realizations in both variables. For an associative algebra \(A\), there exists a monoidal structure on \({}_A\BMod _A(C)\) given by the relative tensor product over \(A\).