I'd like to prove that the tensor product functor $ \otimes Y$, where $Y$ is a d.galgebra over a field of characteristic 0, preserves finite products of d.galgebras. This statement is in a paper by Bousfield and Gugenheim whose title is "On PL deRham theory and rational homotopy type".
