Tate twist (source code)

= Tate twist
{wiki=Tate_twist}