Loading paper
Noncommutative ampleness from finite endomorphisms | Tomesphere