Example 3
Tag 0DP4, permanent. Cite it as [Bourbaki, Tag 0DP4].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
If is semisimple, every -module is projective (VIII, § 5, No. 1, prop. 1), hence flat.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.