Def preNormEDS'

Modification history

2025-05-19 14:18
Mathlib/NumberTheory/EllipticDivisibilitySequence.lean
chore(NumberTheory/EllipticDivisibilitySequence): simplify proofs and deprecate lemmas (#24964) …
Modified preNormEDS'View on Github →
2024-05-16 07:16
Mathlib/NumberTheory/EllipticDivisibilitySequence.lean
feat(NumberTheory/EllipticDivisibilitySequence): expose the auxiliary sequence (#10814) …
Added preNormEDS'View on Github →