Mathlib Changelog
v4
Changelog
About
Github
Def
PeriodPair.sumInvPow
Modification history
2026-01-07 13:28
Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean
feat(Analysis): ℘ is analytic (#32911)
Added
PeriodPair.sumInvPow
View on Github →