Corollary 3
Tag 0738, permanent. Cite it as [Bourbaki, Tag 0738].
Algebra, chapter VII, § 3. Free modules over a principal ideal domain
— Every projective module over a principal ideal domain is free.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.