Elliptic_Curves_Group_Law.Elliptic_Locale