Theorem WeierstrassCurve.Projective.addU_smul
Modification history
2025-08-28 01:28
Mathlib/AlgebraicGeometry/EllipticCurve/Projective/Formula.lean
feat(Tactic/FieldSimp): rewrite for performance and robustness (#28658) …
Modified WeierstrassCurve.Projective.addU_smulView on Github →