Lemma 4

Tag 05PV, permanent. Cite it as [Bourbaki, Tag 05PV].

For every homomorphism $v : E \to E'$ , the diagram

\begin{array}{ccc} T(E') & \xrightarrow{\nu_{E'}} & T'(E') \\ \downarrow T(v) & & \downarrow T'(v) \\ T(E) & \xrightarrow{\nu_E} & T'(E) \end{array}

is commutative.

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

Cited by

Nothing.

Nothing.