I think it makes sense to put these theorems some what near the section on dealing with constructing measure (in some sense the theorems show you the "minimum" amount of information you need to conclude that a measure is unique on a sigma-algebra). See e.g. Billingsley, Probability and Measure for reference material
https://github.com/Clopen-Analysis/latex/blob/c979e9e63487f1114e0e87cccbddf5d19e40f27a/chapters/ch1.tex#L605
I think it makes sense to put these theorems some what near the section on dealing with constructing measure (in some sense the theorems show you the "minimum" amount of information you need to conclude that a measure is unique on a sigma-algebra). See e.g. Billingsley, Probability and Measure for reference material
Any objections / suggestions?