Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-13 07:14
fe7bf3bd
View on Github →
Define the cotangent function. (
#12758
) We define the cotangent function as cos/sin
Estimated changes
Modified
Mathlib/Data/Complex/Exponential.lean
added
def
Complex.cot