Loading paper
Tannakian reconstruction of reductive group schemes | Tomesphere