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