Def Complex.cot

Modification history

2025-01-27 13:29

Mathlib/Data/Complex/Exponential.lean

chore(Data/Complex/Exponential): split trig functions to new file (#21075) …

Modified Complex.cot View on Github →

2024-05-13 07:14

Mathlib/Data/Complex/Exponential.lean

Define the cotangent function. (#12758) …

Added Complex.cot View on Github →