Mathlib Changelog
v4
Changelog
About
Github
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 →