User:Caliburn/s/mt/Lebesgue Decomposition Theorem

Theorem
Let $\struct {X, \Sigma}$ be a measurable space.

Let $\mu$ be a measure on $\struct {X, \Sigma}$.