Loading paper
Connectedness of Kisin varieties for GL_2 | Tomesphere