Quadratic extensions of an odd-residue-characteristic local field

ID: quadratic-extensions-of-an-odd-residue-characteristic-local-field

New to topics? Read the docs here!