Lemma 11.6.0.136. Let $f: A_{} \hookrightarrow B_{}$ and $f': A'_{} \hookrightarrow B'_{}$ be monomorphisms of simplicial sets. If either $f$ is anodyne, then the induced map
\[ (A_{} \times B'_{} ) \coprod _{ A_{} \times A'_{} } ( B_{} \times A'_{} ) \hookrightarrow B_{} \times B'_{} \]
is anodyne.