Example 2

Tag 0DP3, permanent. Cite it as [Bourbaki, Tag 0DP3].

Algebra, chapter X, § 1. Compléments d’algèbre linéaire

According to prop. 4 (ii), every $A$ -module which is an inductive limit of a filtered inductive system of free $A$ -modules is flat. We shall prove a converse at No. 6.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.