Theorem WeierstrassCurve.nonsingular

Modification history

2025-03-04 14:42

Mathlib/AlgebraicGeometry/EllipticCurve/Affine.lean

chore(AlgebraicGeometry/EllipticCurve/*): remove redundant names (#22479) …

Deleted WeierstrassCurve.nonsingular View on Github →

2025-02-27 23:06

Mathlib/AlgebraicGeometry/EllipticCurve/Affine.lean

chore(AlgebraicGeometry/EllipticCurve/Affine): standardise variable names (#22374) …

Added WeierstrassCurve.nonsingular View on Github →