OAI/Computability/QuantumFactoring/SortingEmission.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.SortingEmission.paddedPair line 12
2. lemma OAI.ExactQuantumFactoring.SortingEmission.head line 16
3. lemma OAI.ExactQuantumFactoring.SortingEmission.tail line 18
4. lemma OAI.ExactQuantumFactoring.SortingEmission.keepHead line 20
5. lemma OAI.ExactQuantumFactoring.SortingEmission.compareStep line 24
6. lemma OAI.ExactQuantumFactoring.SortingEmission.insert line 31
7. lemma OAI.ExactQuantumFactoring.SortingEmission.sort line 48