Assertion: model geometry | /r/HasProperty | connected smooth manifold x
Facets:
value: simply
type: MANNER
Source sentences:
text: A model geometry is a simply connected smooth manifold X together with a transitive action of a Lie group G on X with compact stabilizers.