ByNobleID
    Necessary conditions for local class field theory | NobleID