Definition 2
Tag 0783, permanent. Cite it as [Bourbaki, Tag 0783].
Topological Vector Spaces, chapter I, § 1. Topological vector spaces
A complete normed space on a non-discrete valued division ring is called a Banach space.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.