Mathlib Changelog
v4
Changelog
About
Github
Def
Complex.cot
Modification history
2024-05-13 07:14
Mathlib/Data/Complex/Exponential.lean
Define the cotangent function. (#12758) …
Added
Complex.cot
View on Github →