OAI/Computability/QuantumFactoring/SuperpositionGates.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ExactQuantumFactoring.phaseAt line 13
2. abbrev OAI.ExactQuantumFactoring.hadamardAt line 18
3. lemma OAI.ExactQuantumFactoring.eq_update_iff line 23
4. lemma OAI.ExactQuantumFactoring.phaseAt_matrix line 35
5. lemma OAI.ExactQuantumFactoring.phaseAt_basis line 56
6. lemma OAI.ExactQuantumFactoring.phaseSquared_basis line 65
7. lemma OAI.ExactQuantumFactoring.BooleanProgram.phase_compute_uncompute line 72
8. lemma OAI.ExactQuantumFactoring.hadamardAt_matrix line 81
9. lemma OAI.ExactQuantumFactoring.hadamardAt_basis line 95