Theorem hurwitzZeta_neg_nat

Modification history

2024-05-30 12:50

Mathlib/NumberTheory/LSeries/HurwitzZetaValues.lean

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

Deleted hurwitzZeta_neg_nat View on Github →

2024-05-30 10:19

Mathlib/NumberTheory/LSeries/HurwitzZetaValues.lean

feat(NumberTheory/LSeries): special values of Hurwitz zeta (#13347) …

Added hurwitzZeta_neg_nat View on Github →