# Left Properness of Simplicial Commutative Algebras

A bit of light googling turns up several sources asserting that the model structure on simplicial commutative algebras over a ring is left proper (for example, 2.9 in Charles Rezk's paper Every homotopy theory of simplicial algebras admits a proper model). Does a proof of this fact occur anywhere in the literature?

-
I don't know where it "appears", though of course it is not hard to prove; it amounts to the fact that polynomial algebras are flat. – Charles Rezk Sep 27 '12 at 2:48

For simplicial commutative rings this is proved in Lemma 3.1.2 of Schwede's “Spectra in model categories and applications to the algebraic cotangent complex”, and the proof there immediately extends to algebras.

-
Charles was, I suppose, too modest to mention that it is also a special case of the paper I referred to in the question, but this is an earlier reference. – Rune Haugseng Jun 30 '15 at 10:29