nLab
norm residue isomorphism theorem

A self-contained proof is given by

References