Theorem WeierstrassCurve.twoTorsionPolynomial_disc_of_char_two

Modification history

2025-10-20 10:08
Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean
chore: change `disc` to `discr` to denote the discriminant (#30709) …
Deleted WeierstrassCurve.twoTorsionPolynomial_disc_of_char_twoView on Github →
2024-10-04 20:24
Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean
feat(AlgebraicGeometry/EllipticCurve/NormalForms): some normal forms of elliptic curves (#16864) …
Added WeierstrassCurve.twoTorsionPolynomial_disc_of_char_twoView on Github →