Theorem WeierstrassCurve.Affine.evalEval_polynomialX_zero

Modification history

2025-02-27 23:06

Mathlib/AlgebraicGeometry/EllipticCurve/Affine.lean

chore(AlgebraicGeometry/EllipticCurve/Affine): standardise variable names (#22374) …

Modified WeierstrassCurve.Affine.evalEval_polynomialX_zero View on Github →

2024-06-26 10:10

Mathlib/AlgebraicGeometry/EllipticCurve/Affine.lean

feat(EllipticCurve): affine formulas and bivariate polynomial lemmas (#13845) …

Added WeierstrassCurve.Affine.evalEval_polynomialX_zero View on Github →