Corollary 2

Tag 04VX, permanent. Cite it as [Bourbaki, Tag 04VX].

Commutative Algebra, chapter VI, § 7. Approximation theorem

*Let $\mathscr{T}_i$ be the topology defined on $K$ by $v_i$ ; let $K^n$ be given the topology the product of the $\mathscr{T}_i$ . If the $v_i$ are not improper, the diagonal of $K^n$ is dense in $K^n$ .

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

Cited by

Proposition 3, § 7

Cites

Nothing.