Example 1
Tag 06WF, permanent. Cite it as [Bourbaki, Tag 06WF].
Algebra, chapter VI, § 1. Ordered groups. Divisibility
The additive group of the rational integers, and that of the rational numbers, are ordered groups under the ordering defined in I, pp. 21 and 117. The same is true for the additive group of the real numbers (Gen. Top., IV, p 3). \
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.