Assertion: mathematical notation | /r/HasSubgroup | standard mathematical notation
Facets:
Source sentences: