A proof of the Regts–Sevenster conjecture, formalized

Source: url:https://github.com/willwhistler/regts-sevenster Authors: William Whistler Status: verified Main declarations: RS.regts_sevenster_characterisation Tags: graph-parameters, tensor-categories, partition-functions MSC: 05C50, 18M20