show/hide this revision's text 1 [made Community Wiki]

Knot theory: sufficiency of the Reidemeister moves.