Corollary 2

Tag 0900, permanent. Cite it as [Bourbaki, Tag 0900].

If $\mu$ is a moderated measure (in particular if $\mu$ is bounded, or if T is countable at infinity), then $\mu^* = \mu^\bullet$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.