Documentation

LeanPool.RegtsSevenster.RS.Novel.Skein.GlueSplitProof

The single-pair gluing decomposition #

The closed and open per-cut engines and the master splitting identities, in the two parts below.