Weil reciprocity law (source code)

= Weil reciprocity law
{wiki=Weil_reciprocity_law}