Loading paper
A Tannakian approach to dimensional reduction of principal bundles | Tomesphere