Assertion: formal scheme | /r/HasProperty | motivated
Facets:
Source sentences:
text: Formal schemes were motivated by and generalize Zariski's theory of formal holomorphic functions.