Seesaw theorem (source code)

= Seesaw theorem
{c}

The seesaw theorem determines a line bundle on a product from its restrictions to fibers: if it is trivial on all fibers over one factor and on one transverse section, then it is trivial.