Loading paper
Affineness of the maximal \'{e}tale locus | Tomesphere