Assertion: stabilizer | /r/HasProperty | a subgroup of $g$.
Facets:
Source sentences:
text: and I have proved that stabilizer is a subgroup of $G$.