Theorem WeierstrassCurve.Jacobian.addY_self

Modification history

2025-03-05 17:37

Mathlib/AlgebraicGeometry/EllipticCurve/Jacobian.lean

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

Modified WeierstrassCurve.Jacobian.addY_self View on Github →

2024-06-26 12:03

Mathlib/AlgebraicGeometry/EllipticCurve/Jacobian.lean

feat(EllipticCurve): lemmas in Jacobian coordinates (#13846) …

Added WeierstrassCurve.Jacobian.addY_self View on Github →