Theorem pi_mul_cot_pi_q_exp

Modification history

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