Exercise 1.3.10. Given \(\infty \)-categories \(C\) and \(D\), produce an equivalence \(C \times D \iso C \times _* D\).

Generated from the authoritative LaTeX source.