More lemmas on spectral spaces
Constructing ind-Zariski ring maps