Loading paper
Strongly compct diagonal Prikry forcing | Tomesphere