∫ Утверждение Mathlib
addX_smul
Mathlib.AlgebraicGeometry.EllipticCurve.Projective.Formula
URI: https://scilib.ai/kg/mathlib#WeierstrassCurve.Projective.addX_smul
∫ Утверждение Mathlib
Mathlib.AlgebraicGeometry.EllipticCurve.Projective.Formula
URI: https://scilib.ai/kg/mathlib#WeierstrassCurve.Projective.addX_smul