Definition 5
Tag 09DG, permanent. Cite it as [Bourbaki, Tag 09DG].
Integration, chapter VII, § 1. Construction of a Haar measure
The measure is said to be the inverse limit (or projective limit) of the .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.