Theorem EllipticCurve.ext

Modification history

2024-11-29 22:48

Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean

refactor(AlgebraicGeometry/EllipticCurve/*): add `WeierstrassCurve.IsElliptic` and remove `EllipticCurve` (#18531) …

Deleted EllipticCurve.ext View on Github →

2024-09-16 17:23

Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean

chore(AlgebraicGeometry/EllipticCurve/Weierstrass): change the ext lemma for `EllipticCurve` (#16828) …

Added EllipticCurve.ext View on Github →