1 problem

Let $k$ be a base field, and let $A$ and $B$ be DG algebras over $k$. For a field extension $k^{\prime}/k$, write $A_{k^{\prime}}=A\otimes_k k^{\prime}$ and…