Theorem Complex.cot_pi_eq_exp_ratio

Modification history

2024-07-22 10:51
Mathlib/Analysis/SpecialFunctions/Trigonometric/Cotangent.lean
feat: cotangent q-expansion (#12770) …
Added Complex.cot_pi_eq_exp_ratioView on Github →