OAI/Computability/QuantumFactoring/TreeHistoryEmission.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.previous line 12
2. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.lastNode line 15
3. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.firstNode line 18
4. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.flattenWords line 29
5. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.rootFlat line 34