Loading paper
Cartier duality for $(\phi, \hat{G})$-modules | Tomesphere