Example
Tag 08PJ, permanent. Cite it as [Bourbaki, Tag 08PJ].
Integration, chapter IV, § 1. Upper integral of a positive function
— If is a discrete space, a positive measure on , and if one sets , then for every numerical function defined on , since such a function is continuous (No. 1, Example).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.