Notes for AKT-091001-1/0:11:12

Degree of a trivalent diagram $=$ total number of vertices $/2$

${\mathcal {A}}^{t}=$ set generated by trivalent diagrams $/$ (AS, STU)

definition of IHX relation