Manuscript XVI-P@p23 · XVI-P.tex · section · 9b0037a7
ch dependency audit and the enumeration lemma
ch dependency audit and the enumeration lemma · lines 1619–1622
The relation used to read off rows is the defined classical pullback/interface above, not a quantum gauge-change theorem.