A monogenic Hasse-Arf theorem
I extend the Hasse–Arf theorem from residually separable extensions of complete discrete valuation rings to monogenic extensions.
I extend the Hasse–Arf theorem from residually separable extensions of complete discrete valuation rings to monogenic extensions.