Theorem WeierstrassCurve.Projective.dblU_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.dblU_smulView on Github →