Example
Tag 08YK, permanent. Cite it as [Bourbaki, Tag 08YK].
Integration, chapter IV, § 7. Barycenters
— Let be a discrete measure on K, positive and of total mass 1; it is thus of the form , where , and the are real numbers such that for all and . Since (Ch. III, §3, No. 1, Example 3), . In particular, for every , x is the barycenter of the measure .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.