Theorem WeierstrassCurve.coeff_ΨSq_ne_zero

Modification history

2024-06-24 11:40

Mathlib/AlgebraicGeometry/EllipticCurve/DivisionPolynomial/Degree.lean

feat(AlgebraicGeometry/EllipticCurve/DivisionPolynomial/Degree): add further degree lemmas (#14063)

Added WeierstrassCurve.coeff_ΨSq_ne_zero View on Github →