Proposition 1

Tag 08P5, permanent. Cite it as [Bourbaki, Tag 08P5].

For every finite real number $\alpha > 0$ and every function $f \in \mathscr{J}_+$ ,

\mu^*(\alpha f) = \alpha \mu^*(f).

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

Cited by

Nothing.