Theorem PeriodPair.mul_ω₁_add_mul_ω₂_mem_lattice

Modification history

2025-11-25 09:29
Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean
feat(Analysis): Weierstrass ℘ functions (#31294)
Added PeriodPair.mul_ω₁_add_mul_ω₂_mem_latticeView on Github →