Definition 1
Tag 0DN4, permanent. Cite it as [Bourbaki, Tag 0DN4].
Algebra, chapter IX, § 8. Types de formes quadratiques
The set of types of non-degenerate quadratic forms of finite dimensions over , endowed with the addition defined by (2), is called the group of types of quadratic forms, or Witt group, of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.