Def Complex.cot

Modification history

2024-05-13 07:14
Mathlib/Data/Complex/Exponential.lean
Define the cotangent function. (#12758) …
Added Complex.cotView on Github →