OAI/Computability/QuantumFactoring/RawTrialLabelCircuit.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ExactQuantumFactoring.OrderTrial.decodeSteps line 17
2. abbrev OAI.ExactQuantumFactoring.OrderTrial.decodeWidth line 18
3. def OAI.ExactQuantumFactoring.OrderTrial.recoveredPairNet line 20
4. def OAI.ExactQuantumFactoring.OrderTrial.trialPairNet line 26
5. def OAI.ExactQuantumFactoring.OrderTrial.trialDenNet line 32
6. def OAI.ExactQuantumFactoring.OrderTrial.trialNumNet line 35
7. lemma OAI.ExactQuantumFactoring.OrderTrial.recoveredPairNet_value line 39
8. lemma OAI.ExactQuantumFactoring.OrderTrial.trialPairNet_value line 65
9. lemma OAI.ExactQuantumFactoring.OrderTrial.trialDenNet_value line 91
10. lemma OAI.ExactQuantumFactoring.OrderTrial.trialNumNet_value line 97