Theory Preliminaries
section‹Preliminaries: Definitions of tangles and links›
theory Preliminaries
imports Main
begin
text‹This theory contains the definition of a link. A link is defined as link diagrams upto
equivalence moves. Link diagrams are defined in terms of the constituent tangles›
text‹each block is a horizontal block built by putting basic link bricks next to each other.
(1) vert is the straight line
(2) cup is the up facing cup
(3) cap is the bottom facing
(4) over is the positive cross
(5) under is the negative cross›