I'm sure this question has been asked before and yet I can't find it.

Is there a proof of implicit differentiation or is it simply an application of the chain rule? If it's the former, could you give or point me to the proof? If the latter, could you explain exactly how conceptually it works (or point to a link that does so)?

Is there a proof of implicit differentiation or is it simply an application of the chain rule? If it's the former, could you give or point me to the proof? If the latter, could you explain exactly how conceptually it works (or point to a link that does so)?