Rigorous Implicit Differentiation/Function Theorem - Expii

Technically, in order to rigorously do implicit differentiation, we need to check that the "implicit function y = f(x)" is differentiable. The implicit function theorem is a tool to do that.