Example 1

Tag 0DSI, permanent. Cite it as [Bourbaki, Tag 0DSI].

Algebra, chapter X, § 2. Complexes de A-modules

If A is a field, we may take as $\mathscr C$ the set of classes of finite-dimensional vector spaces and as $\varphi$ the isomorphism of $K(\mathscr C)$ onto $\mathbf Z$ defined by $\varphi([M]) = \dim(M)$ .

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

Cited by

Nothing.

Cites

Nothing.