2.13.3 A Theorem a/b Inverse Fns, & relationship w/ Implicit Differentiation - Geometry & Calculus I

In this video, we state a theorem about properties of f inverse given some properties of f.
We also revisit the example from the last video, and compute the derivative using implicit differentiation. The equation in the last video does define a function, but it's challenging to solve for y explicitly. Still, we can find its derivative using implicit differentiation, and we see that we get the same formula using implicit differentiation that we obtain using the formula for the derivative of an inverse function.
The graphs of the original function and its inverse were linked to the description of video 2.13.2, and are linked again below.
www.desmos.com...