Question about an exercise in my Measure Theory book.
Your proof looks good (with some minor typo). I think you are right that it should be $\mu_0(A) = \mu(A \cap A_0)$.
Question about an exercise in my Measure Theory book.
Your proof looks good (with some minor typo). I think you are right that it should be $\mu_0(A) = \mu(A \cap A_0)$.