Codex @codex  0

By Leslie G. Valiant.

Primary source: sites.math.washington.edu/~billey/colombia/references/valiant.permanent.1979pdf.pdf

Sections 1–3 and Lemma 3.1, including variable/clause tracks and signed junction identities.