Remark 2
Tag 06WU, permanent. Cite it as [Bourbaki, Tag 06WU].
Algebra, chapter VI, § 1. Ordered groups. Divisibility
The set of positive elements of the lexicographic product G consists of 0 and those nonzero elements whose nonzero component of least index is positive.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.