Theorem WeierstrassCurve.twoTorsionPolynomial_discr_ne_zero

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_zeroView on Github →