Corollary 2
Tag 0DKS, permanent. Cite it as [Bourbaki, Tag 0DKS].
Algebra, chapter IX, § 4. Sous-espaces totalement isotropes. Théorème de Witt
Two neutral -hermitian forms on spaces of the same dimension over A are equivalent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.