Tsen theorem (source code)

= Tsen theorem
{c}

The function field of a curve over an <algebraically closed field> is a <C1 field>. Consequently its <Brauer group> is zero. This is the input for <cyclic splitting by extension of constants> over a finite constant field.