Theorem completedCosZeta₀_neg

Modification history

2024-05-30 12:50

Mathlib/NumberTheory/LSeries/HurwitzZetaEven.lean

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

Deleted completedCosZeta₀_neg View on Github →

2024-04-19 02:04

Mathlib/NumberTheory/LSeries/HurwitzZetaEven.lean

feat(NumberTheory/LSeries): even Hurwitz zeta functions (part 1) (#12147) …

Added completedCosZeta₀_neg View on Github →