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