Def Complex.logTaylor

Modification history

2024-05-27 08:32

Mathlib/Analysis/SpecialFunctions/Complex/LogBounds.lean

chore: Use the new `∑ i ∈ s, f i` notation (#13209) …

Modified Complex.logTaylor View on Github →

2024-01-07 18:13

Mathlib/Analysis/SpecialFunctions/Complex/LogBounds.lean

feat: estimates for the complex logarithm (#9270) …

Added Complex.logTaylor View on Github →