Tangent/Derivative/Fact/Proof/Exercise

Determine the derivative of the function

$D\longrightarrow \mathbb {R} ,x\longmapsto \tan x={\frac {\sin x}{\cos x}}.$

Create a solution