Elliptic curve over a finite field (source code)

= 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.