Remark 1
Tag 09FI, permanent. Cite it as [Bourbaki, Tag 09FI].
Integration, VII, p. 37, § 2. Quotient of a space by a group; homogeneous spaces
In particular, let be a locally compact space on which a discrete group operates continuously and properly on the right; suppose is paracompact. Then, there exists a continuous function on whose support has compact intersection with the saturation of every compact subset of , and is such that for every (all terms of the sum being zero except for a finite number of them).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.