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