Theorem PeriodPair.finrank_lattice

Modification history

2025-11-25 09:29

Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean

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

Added PeriodPair.finrank_lattice View on Github →