Loading paper
Zariski compactness of minimal spectrum and flat compactness of maximal spectrum | Tomesphere