Let $(R, \mathfrak m)$ be a Noetherian local ring. Let $M,N$ be finitely generated $R$-modules. Is it known that $M\otimes_R^{\mathbf L} N$ has finite projective dimension if and only if $M$ and $N$ have finite projective dimension? I would be happy even with an explicit reference. Thanks