Definition 6
Tag 09DR, permanent. Cite it as [Bourbaki, Tag 09DR].
Integration, chapter VII, § 1. Construction of a Haar measure
— Let K be a locally compact field. For , one calls modulus of a, and denotes by or simply , the modulus of the automorphism of the additive group underlying K; one sets .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.