OAI/Computability/QuantumFactoring/VerifiedTreeBounds.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ExactQuantumFactoring.PhysicalNode.resultBound line 18
2. lemma OAI.ExactQuantumFactoring.PhysicalNode.resultField_count line 19
3. lemma OAI.ExactQuantumFactoring.PhysicalNode.sortedOutput_count line 23
4. lemma OAI.ExactQuantumFactoring.PhysicalTree.nodeResult_count line 31
5. lemma OAI.ExactQuantumFactoring.PhysicalTree.resultFields_count line 34
6. lemma OAI.ExactQuantumFactoring.NodeMachine.previousNet_count line 39
7. lemma OAI.ExactQuantumFactoring.NodeMachine.lastNodeNet_count line 41
8. lemma OAI.ExactQuantumFactoring.NodeMachine.rowQuery_count line 43
9. lemma OAI.ExactQuantumFactoring.NodeMachine.rowFields_count line 45
10. abbrev OAI.ExactQuantumFactoring.NodeMachine.rowBound line 49
11. lemma OAI.ExactQuantumFactoring.NodeMachine.rowVerifiedNet_count line 51
12. lemma OAI.ExactQuantumFactoring.NodeMachine.verifiedNet_count line 60