Theorem multipliable_pnat_iff_multipliable_nat

Modification history

2025-12-27 18:03

Mathlib/Topology/Algebra/InfiniteSum/NatInt.lean

feat(NumberTheory/ModularForms/EisensteinSeries/Summable): add auxiliary E2 lemmas (#32955) …

Added multipliable_pnat_iff_multipliable_nat View on Github →