Theorem WeierstrassCurve.Affine.slope_of_Y_ne'

Modification history

2025-06-05 23:26
Mathlib/AlgebraicGeometry/EllipticCurve/Affine/Formula.lean
chore: update batteries dependency (including fixes for batteries#1220) (#25478)
Added WeierstrassCurve.Affine.slope_of_Y_ne'View on Github →