Theorem jacobiTheta₂''_conj

Modification history

2024-05-30 12:50

Mathlib/NumberTheory/LSeries/HurwitzZetaOdd.lean

chore(NumberTheory/LSeries): namespace Hurwitz zeta (#13377) …

Deleted jacobiTheta₂''_conj View on Github →

2024-05-13 21:00

Mathlib/NumberTheory/LSeries/HurwitzZetaOdd.lean

feat(NumberTheory/LSeries): Odd Hurwitz zeta functions (#12779) …

Added jacobiTheta₂''_conj View on Github →