Commit 2024-09-16 17:23 374f1fb8
View on Github →chore(AlgebraicGeometry/EllipticCurve/Weierstrass): change the ext lemma for EllipticCurve (#16828)
Now it doesn't require that the discriminant is equal. This is like Units.ext.
chore(AlgebraicGeometry/EllipticCurve/Weierstrass): change the ext lemma for EllipticCurve (#16828)
Now it doesn't require that the discriminant is equal. This is like Units.ext.