Assertion: manifold paper | /r/HasSubgroup | compact manifold
Facets:
Source sentences: