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