Source: cirosantilli/elliptic-curve-over-a-finite-field
= Elliptic curve over a finite field
{tag=Finite field}
{title2=$E(\F_p)$}
= Elliptic curve over the finite field
{synonym}
The <equation Definition of the elliptic curves> and definitions on <elliptic curve point addition> both hold directly.