Skip to content

Move state lemmas depending on addition

baaa5d5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Add three_cnot_is_swap proof, and alternate zx_of_matrix' universality form #59

Move state lemmas depending on addition
baaa5d5
Select commit
Loading
Failed to load commit list.