OAI/Computability/QuantumFactoring/ContinuedFractionEmission.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.div line 15
2. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.cfHead line 18
3. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.cfTail line 20
4. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.cfP line 22
5. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.cfQ line 24
6. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.cfProduct line 26
7. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.cfCombine line 28
8. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.convergent line 33