Remark 2

Tag 042Y, permanent. Cite it as [Bourbaki, Tag 042Y].

Commutative Algebra, chapter I, § 2. Flat modules

The conclusion of Proposition 7 remains true if we assume only that $E/E'$ is F-flat or that $F/F'$ is E-flat.

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

Cited by