Def WeierstrassCurve.toCharTwoNF

Modification history

2024-10-08 06:00

Mathlib/AlgebraicGeometry/EllipticCurve/NormalForms.lean

chore(EllipticCurve/NormalForms): remove superfluous use of DecidableEq (#17502) …

Modified WeierstrassCurve.toCharTwoNF View on Github →

2024-10-04 20:24

Mathlib/AlgebraicGeometry/EllipticCurve/NormalForms.lean

feat(AlgebraicGeometry/EllipticCurve/NormalForms): some normal forms of elliptic curves (#16864) …

Added WeierstrassCurve.toCharTwoNF View on Github →