Theorem EllipticCurve.j_eq_zero_iff'

Modification history

2024-11-29 22:48
Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean
refactor(AlgebraicGeometry/EllipticCurve/*): add `WeierstrassCurve.IsElliptic` and remove `EllipticCurve` (#18531) …
Deleted EllipticCurve.j_eq_zero_iff'View on Github →
2024-09-29 21:20
Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean
feat(AlgebraicGeometry/EllipticCurve/Weierstrass): add `j_eq_zero[_iff][']` (#16974) …
Added EllipticCurve.j_eq_zero_iff'View on Github →