Def PeriodPair.derivWeierstrassPExcept

Modification history

2025-12-05 11:03

Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean

feat(Analysis): derivative of Weierstrass ℘ (#32089)

Added PeriodPair.derivWeierstrassPExcept View on Github →