Uniformizer criterion for lower ramification groups

ID: uniformizer-criterion-for-lower-ramification-groups

If is a finite totally ramified Galois extension and is a uniformizer, then
for every .

New to topics? Read the docs here!