Weil restriction (source code)

= Weil restriction
{wiki=Weil_restriction}