Definition 2
Tag 00JL, permanent. Cite it as [Bourbaki, Tag 00JL].
Algebra, VIII, p. 319, § 16. Other Descriptions of the Brauer Group
Let be the set of maximal ideals of L. We define
Br(L) Ker(), where Br(K) Br(L) is the extension of scalars homomorphism (VIII, p. 281).
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.