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