Theorem PeriodPair.℘Except_of_notMem

Modification history

2025-12-02 17:09
Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean
chore(Analysis): rename `℘` to `weierstrassP` (#32354)
Deleted PeriodPair.℘Except_of_notMemView on Github →
2025-11-25 09:29
Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean
feat(Analysis): Weierstrass ℘ functions (#31294)
Added PeriodPair.℘Except_of_notMemView on Github →