Theorem PeriodPair.℘_bound

Modification history

2025-12-02 17:09

Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean

chore(Analysis): rename `℘` to `weierstrassP` (#32354)

Deleted PeriodPair.℘_bound View on Github →

2025-11-25 09:29

Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean

feat(Analysis): Weierstrass ℘ functions (#31294)

Added PeriodPair.℘_bound View on Github →