Loading paper
The Tannaka representation theorem for separable Frobenius functors | Tomesphere