Assertion: affine scheme | /r/HasProperty | x = spec
Facets:
Source sentences:
text: then the affine scheme X = Spec ( Z [ x , y ]