Theorem WeierstrassCurve.Jacobian.equiv_iff_eq_of_Z_eq'

Modification history

2025-03-05 17:37

Mathlib/AlgebraicGeometry/EllipticCurve/Jacobian.lean

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

Modified WeierstrassCurve.Jacobian.equiv_iff_eq_of_Z_eq'View on Github →

2025-03-04 13:59

Mathlib/AlgebraicGeometry/EllipticCurve/Jacobian.lean

chore(AlgebraicGeometry/EllipticCurve/*): improve some proofs (#22524) …

Modified WeierstrassCurve.Jacobian.equiv_iff_eq_of_Z_eq'View on Github →

2024-06-26 12:03

Mathlib/AlgebraicGeometry/EllipticCurve/Jacobian.lean

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

Added WeierstrassCurve.Jacobian.equiv_iff_eq_of_Z_eq'View on Github →