Assertion: ring | /r/HasProperty | r/in
Facets:
Source sentences:
text: Formally, the I-adic completion is the inverse limit of the rings R/In.