OAI/Computability/QuantumFactoring/TableScanEmission.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.natSubOn line 13
2. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.stripOn line 17
3. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.stripUpdate line 24
4. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.stripScan line 29
5. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.orderFromList line 40
6. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.totientPair line 44
7. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.totientUpdate line 52
8. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.totientScan line 61
9. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.totientFromList line 72
10. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.primesPhi line 78