Commit 2024-11-20 17:06 46d221cd

feat(NumberTheory/LSeries/DirichletContinuation): results on logarithmic derivatives (#19254) As a further step in the direction of Dirichlet's Theorem on primes in AP, this PR adds results on (negative) logarithmic derivatives of L χ for a non-trivial Dirichlet character χ and of s ↦ (L χ s) * (s - 1) when χ is trivial. See here on Zulip.