« Root
Proposition.
[00CE]
Affine morphisms
are qcqs.