Assertion: group's structure | /r/HasProperty | compatible
Facets:
Source sentences:
text: Again, the additional structure, here the manifold structure, has to be compatible, i.e., the maps corresponding to multiplication and the inverse have to be smooth.