Assertion: formal scheme | /r/HasProperty | formal completion
Facets:
Source sentences:
text: A locally Noetherian scheme is a locally Noetherian formal scheme in the canonical way: the formal completion along itself.