Revision #1916 → #2641 · back to history
60d2e62f6f8d| Field | From #1916 | To #2641 |
|---|---|---|
| mathlib.decl | LSeries_zeta_mul_Lseries_moebius | ArithmeticFunction.LSeries_zeta_mul_Lseries_moebius |
| provenance | ai | ai-moderated |
4d3c02a76c94| Field | From #1916 | To #2641 |
|---|---|---|
| mathlib.decl | hurwitzZeta | HurwitzZeta.hurwitzZeta |
| provenance | ai | ai-moderated |