Here's the inverse function theorem as stated in Spivak's book:
Then there's a paragraph in Folland's book:
I have read the inverse function theorem and its proof in Spivak's Calculus on Manifolds and I have a hard time reconciling it with what Folland states in his book on the chapter on...