Theorem map_normEDS

Modification history

2024-06-25 09:01

Mathlib/NumberTheory/EllipticDivisibilitySequence.lean

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

Added map_normEDS View on Github →