Theorem EllipticCurve.ofJ_1728_of_two_ne_zero

Modification history

2024-11-29 22:48

Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean

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

Deleted EllipticCurve.ofJ_1728_of_two_ne_zero View on Github →

2023-08-03 09:17

Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean

feat(AlgebraicGeometry/EllipticCurve/Weierstrass): elliptic curves with specified j-invariant (#5935) …

Added EllipticCurve.ofJ_1728_of_two_ne_zero View on Github →