OAI/Computability/QuantumFactoring/PhysicalSplitDecoderEmission.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.launchWires line 14
2. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.allOrderWires line 16
3. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.modulus line 18
4. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.actualBase line 20
5. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.actualOrderRaw line 23
6. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.actualOrder line 26
7. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.divisor line 29