Theorem HasProd.congr_fun

Modification history

2024-05-06 07:35
Mathlib/Topology/Algebra/InfiniteSum/Basic.lean
feat(NumberTheory/LSeries): Even Hurwitz zeta functions (II) (#12265) …
Modified HasProd.congr_funView on Github →
2024-04-19 02:04
Mathlib/Topology/Algebra/InfiniteSum/Basic.lean
feat(NumberTheory/LSeries): even Hurwitz zeta functions (part 1) (#12147) …
Added HasProd.congr_funView on Github →