Grothendieck's connectedness theorem (source code)

= Grothendieck's connectedness theorem
{wiki=Grothendieck's_connectedness_theorem}

Grothendieck's connectedness theorem is a result in algebraic geometry that relates to the structure of schemes, particularly concerning the notion of connectedness in the context of the Zariski topology.