Manuscript I@2 · I.tex · section · 85631fa7
Proof A: multiset symmetry
Diagonal anchoring: independent finite proofs › Proof A: multiset symmetry · lines 1610–1615
This witness uses qubits. Its resource size is finite but not uniformly bounded in the rational denominator.