Fundamental group (source code)

= Fundamental group
{title2=$\pi_1(X,x_0)$}
{wiki}

The fundamental group $\pi_1(X,x_0)$ consists of based loops modulo based homotopy, with multiplication induced by concatenation.