Assertion: sequence | /r/HasProperty | g / h r
Facets:
Source sentences:
text: One can then show that this completion is isomorphic to the inverse limit of the sequence ( G / H r ) {