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