Fundamental group after attaching a 2-cell (source code)

= Fundamental group after attaching a 2-cell

Attaching a disc to $X$ along a based loop $\alpha$ kills precisely the normal closure of its homotopy class:
$$
\pi_1(X\cup_\alpha D^2)\cong
\pi_1(X)/\langle\!\langle[\alpha]\rangle\!\rangle.
$$