Theorem WeierstrassCurve.twoTorsionPolynomial_discr_isUnit

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