Corollary 2
Tag 07ZU, permanent. Cite it as [Bourbaki, Tag 07ZU].
Topological Vector Spaces, chapter V, § 2. Orthogonal families in a hilbertian space
— In order that the hilbertian spaces and be isomorphic, it is necessary and sufficient that I and J are equipotent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.