Knot concordance (source code)

= Knot concordance
{wiki}

Two knots are concordant when they cobound a smoothly embedded annulus in $S^3\times[0,1]$. Connected sum makes concordance classes into an abelian group.