Assertion: notebook | /r/HasSubgroup | sage notebook
Facets:
Source sentences: