Proposition 9
Tag 0433, permanent. Cite it as [Bourbaki, Tag 0433].
Commutative Algebra, chapter I, § 2. Flat modules
Let be a direct system of rings, its direct limit, a direct system of right -modules with the same indexing set and its direct limit, which is a right -module (Algebra, Chapter II, § 6, no. 2). If each the is a flat \&-module, is a flat -module.
Let , where is considered as a left -module by means of the canonical homomorphism ; we know that the right -module is canonically isomorphic to (loc. cit., Corollary 2 to Proposition 7). It follows from Corollary 2 to Proposition 8 that is a flat right -module for all , hence is a flat -module by Proposition 2 of no. 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.