We use the theory of Harbater-Katz-Gabber curves to derive a generalization of the Hasse-Arf theorem for complete local field extensions in positive characteristic.
生成讲解博客的中文版本
生成AI智能校验的中文版本