Theorem WeierstrassCurve.Jacobian.eval_polynomialY_of_Z_ne_zero

Modification history

2025-03-05 17:37

Mathlib/AlgebraicGeometry/EllipticCurve/Jacobian.lean

chore(AlgebraicGeometry/EllipticCurve/Jacobian/*): split Jacobian files (#22545)

Modified WeierstrassCurve.Jacobian.eval_polynomialY_of_Z_ne_zero View on Github →

2024-05-28 09:02

Mathlib/AlgebraicGeometry/EllipticCurve/Jacobian.lean

feat(AlgebraicGeometry/EllipticCurve/Jacobian): add API for equations and nonsingularity (#13060)

Added WeierstrassCurve.Jacobian.eval_polynomialY_of_Z_ne_zero View on Github →