Prove soundness of proportionality #31
Description
Prove that forall zx1 zx2, zx1 \propto zx2 -> exist zxc : ZX 0 0, zx1 \equiv zxc \updownarrow zx2
I.e., for any prop diagram we can reconstruct scalars
{{ message }}
Prove that forall zx1 zx2, zx1 \propto zx2 -> exist zxc : ZX 0 0, zx1 \equiv zxc \updownarrow zx2
I.e., for any prop diagram we can reconstruct scalars