Assertion: abelian group's element | /r/HasProperty | a class xh
Facets:
value: for some x in g
type: OTHER
Source sentences:
text: That element is a class xH for some x in G, and if m is the order of x in G, then xm = e in G gives (xH)m = eH in G/H