Mathlib Changelog
v4
Changelog
About
Github
Theorem
Complex.cot_eq_exp_ratio
Modification history
2024-07-22 10:51
Mathlib/Analysis/SpecialFunctions/Trigonometric/Cotangent.lean
feat: cotangent q-expansion (#12770) …
Added
Complex.cot_eq_exp_ratio
View on Github →