Theorem WeierstrassCurve.Projective.baseChange_neg

Modification history

2025-03-04 21:14
Mathlib/AlgebraicGeometry/EllipticCurve/Projective.lean
chore(AlgebraicGeometry/EllipticCurve/Projective/*): split projective files (#22549)
Modified WeierstrassCurve.Projective.baseChange_negView on Github →
2025-03-04 13:59
Mathlib/AlgebraicGeometry/EllipticCurve/Projective.lean
chore(AlgebraicGeometry/EllipticCurve/*): improve some proofs (#22524) …
Modified WeierstrassCurve.Projective.baseChange_negView on Github →
2025-01-30 22:16
Mathlib/AlgebraicGeometry/EllipticCurve/Projective.lean
chore(AlgebraicGeometry/EllipticCurve/Jacobian): mirror changes in projective coordinates (#20037)
Added WeierstrassCurve.Projective.baseChange_negView on Github →