Theorem WeierstrassCurve.C_Ψ₂Sq_eq

Modification history

2024-06-25 09:01

Mathlib/AlgebraicGeometry/EllipticCurve/DivisionPolynomial/Basic.lean

feat(AlgebraicGeometry/EllipticCurve/DivisionPolynomial/Basic): add maps for division polynomials (#13399)

Deleted WeierstrassCurve.C_Ψ₂Sq_eq View on Github →

2024-06-09 22:24

Mathlib/AlgebraicGeometry/EllipticCurve/DivisionPolynomial/Basic.lean

feat(AlgebraicGeometry/EllipticCurve/DivisionPolynomial/Basic): define division polynomials (#6703)

Added WeierstrassCurve.C_Ψ₂Sq_eq View on Github →