Assertion: elliptic curve | /r/HasProperty | defined over any field
Facets:
Source sentences:
text: Elliptic curves can be defined over any field K; the formal definition of an elliptic curve is a non-singular projective algebraic curve over K with genus 1 and endowed with a distinguished point defined over K.