Theorem WeierstrassCurve.twoTorsionPolynomial_discr_ne_zero_of_isElliptic

Modification history

2025-10-20 10:08
Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean
chore: change `disc` to `discr` to denote the discriminant (#30709) …
Added WeierstrassCurve.twoTorsionPolynomial_discr_ne_zero_of_isEllipticView on Github →