Def WeierstrassCurve.ofJNe0Or1728

Modification history

2024-11-29 22:48

Mathlib/AlgebraicGeometry/EllipticCurve/ModelsWithJ.lean

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

Added WeierstrassCurve.ofJNe0Or1728 View on Github →