Linked from
The 17 pages that link to Implicit function theorem, each with the reason it gives.
Partial derivativeRelated: Its conditions and conclusions are expressed through partial derivatives.
Level setRelated: It explains when a level set can locally be written as a smooth graph.
Fréchet derivativeRelated: Its Banach-space version uses an invertible partial Fréchet derivative.
Implicit functionRelated: It states when an implicit equation really defines a local function.