OAI/Computability/QuantumFactoring/TableArithmeticEmission.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetsEmits.resize line 15
2. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetsEmits.all line 21
3. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetsEmits.any line 24
4. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.tableOrderWidth line 31
5. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.tableOrder line 34
6. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.tableTotient line 41
7. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.componentWidth line 46
8. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.primeComponent line 48