Theorem of the square (source code)

= Theorem of the square
{c}
{wiki}

For a line bundle $L$ on an abelian variety and points $x,y$,
$$
T_{x+y}^*L\otimes L\cong T_x^*L\otimes T_y^*L.
$$