Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e
D6: the switch gate remains separate
D6: the switch gate remains separate · lines 1552–1556
Merely placing in a switch-transition region does not prove either witness equality.
Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e
D6: the switch gate remains separate · lines 1552–1556
Merely placing in a switch-transition region does not prove either witness equality.