 Implicit function theorem

The Implicit Function Theorem is a fundamental result in calculus and differential topology that provides conditions under which a relation defines a function implicitly.