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 →