Example

Tag 055I, permanent. Cite it as [Bourbaki, Tag 055I].

Algebra, chapter I, § 1. Laws of composition; associativity; commutativity

(1) Addition and multiplication of natural numbers are associative laws of composition on $\mathbf{N}$ (Set Theory, III, § 3, no. 3, Corollary to Proposition 5) (2) The laws cited in Examples (1), (3) and (4) of no. 1 are associative.

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

Cited by

Nothing.

Cites

*Set Theory*, III, § 3, no. 3
Corollary to Proposition 5