Theorem 1
Tag 0DUE, permanent. Cite it as [Bourbaki, Tag 0DUE].
Algebra, chapter X, § 3. Résolutions
Let and be two additive and left exact sets of class of -modules such that and every -module of type possesses a bounded left resolution of type . Then the homomorphism deduced from the inclusion of in is bijective; if is an -module of type and a bounded left resolution of of type , one has (X, p. 41, example 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.