Assertion: function's element | /r/HasProperty | α ∈ g
Facets:
Source sentences:
text: Consider a primitive element α ∈ G and another element β ∈ G.