Theorem WeierstrassCurve.twoTorsionPolynomial_discr_of_char_three

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