Theorem map_preNormEDS

Modification history

2024-06-25 09:01

Mathlib/NumberTheory/EllipticDivisibilitySequence.lean

feat(AlgebraicGeometry/EllipticCurve/DivisionPolynomial/Basic): add maps for division polynomials (#13399)

Added map_preNormEDS View on Github →