Theorem PeriodPair.weierstrassP_bound

Modification history

2025-12-17 10:18
Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean
chore: tidy various files (#32981) …
Modified PeriodPair.weierstrassP_boundView on Github →
2025-12-02 17:09
Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean
chore(Analysis): rename `℘` to `weierstrassP` (#32354)
Added PeriodPair.weierstrassP_boundView on Github →