mathlib documentation

analysis.special_functions.trigonometric.complex_deriv

Complex trigonometric functions #

Basic facts and derivatives for the complex trigonometric functions.

@[simp]
theorem complex.deriv_tan (x : ) :