Definition 2
Tag 09D2, permanent. Cite it as [Bourbaki, Tag 09D2].
Integration, chapter VII, § 1. Construction of a Haar measure
Let G be a locally compact group. A nonzero positive measure on G that is left (resp. right) invariant is called a left (resp. right) Haar measure on G.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.