Mathlib Changelog
v4
Changelog
About
Github
Theorem
WeierstrassCurve.ψ_even
Modification history
2024-06-09 22:24
Mathlib/AlgebraicGeometry/EllipticCurve/DivisionPolynomial/Basic.lean
feat(AlgebraicGeometry/EllipticCurve/DivisionPolynomial/Basic): define division polynomials (#6703)
Added
WeierstrassCurve.ψ_even
View on Github →