Lemma 10.91.4. Let R be a Noetherian ring and n a positive integer. Then the R-module M = R[[t_1, \ldots , t_ n]] is flat and Mittag-Leffler.
Proof. As an R-module, we have M = R^ A for a (countable) set A. Hence this lemma is a special case of Lemma 10.91.3. \square
Comments (0)