Proposition 3

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

Every family $(1 + u_i)$ [resp. $(1 - u_i)$ ] of numbers $\geq 1$ (resp. $\geq 0$ and $\leq 1$ ) is multipliable in $\overline{\mathbf{R}}$ .

Same proof as for Proposition 2.

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

Cited by

Nothing.