In the above theorem, doesn't $\phi$ need to be injective too? The inverse function theorem merely implies that $\phi$ is locally injective -- is this sufficient? I ask because Marsden, in his Elementary Classical Analysis, actually does stipulate the condition that $\phi$ be (globally) injective.
p.s. In the above, "a set has volume" is equivalent to "the boundary of the set has measure zero."