Assertion: curve | /r/HasProperty | y2 = x3+ax+b
Facets:
Source sentences:
text: The curve E: y2 = x3+ax+b over F p is defined by: