Example 1

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

If $u \in \mathrm{Hom}_A(N, P)$ , $v \in \mathrm{Hom}_A(M, N)$ , then $u \circ v$ is the composite of $u$ and $v$ .

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

Cited by

Nothing.

Nothing.