OAI/Computability/QuantumFactoring/TrialControlEmission.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.TrialControlEmission.decodeEquiv line 17
2. lemma OAI.ExactQuantumFactoring.TrialControlEmission.first line 22
3. lemma OAI.ExactQuantumFactoring.TrialControlEmission.second line 33
4. lemma OAI.ExactQuantumFactoring.TrialControlEmission.third line 44
5. lemma OAI.ExactQuantumFactoring.TrialControlEmission.reverse line 55
6. lemma OAI.ExactQuantumFactoring.TrialControlEmission.powOn line 63
7. lemma OAI.ExactQuantumFactoring.TrialControlEmission.labelValid line 67
8. lemma OAI.ExactQuantumFactoring.TrialControlEmission.accept line 76