OAI/Computability/QuantumFactoring/NetworkAtArithmetic.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NetworkAt.wordMux line 15
2. lemma OAI.ExactQuantumFactoring.NetworkAt.wordLt line 19
3. lemma OAI.ExactQuantumFactoring.NetworkAt.wordLe line 24
4. lemma OAI.ExactQuantumFactoring.NetworkAt.toWidth line 27
5. lemma OAI.ExactQuantumFactoring.NetworkAt.modularPower line 31
6. lemma OAI.ExactQuantumFactoring.NetworkAt.gcdNet line 37
7. lemma OAI.ExactQuantumFactoring.NetworkAt.convergentNet line 43
8. lemma OAI.ExactQuantumFactoring.NetworkAt.pairChoice line 50
9. lemma OAI.ExactQuantumFactoring.NetworkAt.boundedRootNet line 54