Theorem PeriodPair.eqOn_deriv_weierstrassPExcept_derivWeierstrassPExcept

Modification history

2025-12-05 11:03
Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean
feat(Analysis): derivative of Weierstrass ℘ (#32089)
Added PeriodPair.eqOn_deriv_weierstrassPExcept_derivWeierstrassPExceptView on Github →