Derivative of Tangent Function/Corollary 1

Corollary to Derivative of Tangent Function

 * $\map {D_x} {\tan a x} = a \sec^2 a x$

Also see

 * Derivative of $\cot a x$