Example
Tag 09DM, permanent. Cite it as [Bourbaki, Tag 09DM].
Integration, chapter VII, § 1. Construction of a Haar measure
— The Haar measure on obtained in No. 2, Example 3 may be deduced from the Lebesgue measure on by a local isomorphism of with .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.