「E.ホップの拡張定理」の版間の差分

<math>\mu_0</math> が <math>\sigma</math>σ-有限であるなら、この拡張は一意である。