Seifert-van Kampen theorem (source code)

= Seifert-van Kampen theorem
{c}
{wiki}

= van Kampen theorem
{c}
{synonym}

For a suitably path-connected open cover $X=U\cup V$, the fundamental group of $X$ is the pushout of the homomorphisms from $\pi_1(U\cap V)$ to $\pi_1(U)$ and $\pi_1(V)$.