Corollary 2
Tag 05R7, permanent. Cite it as [Bourbaki, Tag 05R7].
Algebra, chapter II, § 6. Inverse and direct limits of modules
If is a direct system of left *-modules and* , is an inverse system of right *-modules and* is canonically isomorphic to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.