Example
Tag 09DS, permanent. Cite it as [Bourbaki, Tag 09DS].
Integration, chapter VII, § 1. Construction of a Haar measure
— 1) Let . If then ; if , . Thus for all .
2) Let . If is such that , then is the set of such that ; therefore, if denotes the normalized Haar measure on , then . Thus for all .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.