Norm residue isomorphism theorem (source code)

= Norm residue isomorphism theorem
{wiki=Norm_residue_isomorphism_theorem}