OAI/Computability/QuantumFactoring/RawTrialFieldsEmission.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.left line 12
2. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.right line 15
3. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.toWidth line 18
4. lemma OAI.ExactQuantumFactoring.RawTrialEmission.mode line 26
5. lemma OAI.ExactQuantumFactoring.RawTrialEmission.sample line 29
6. lemma OAI.ExactQuantumFactoring.RawTrialEmission.guesses line 34
7. lemma OAI.ExactQuantumFactoring.RawTrialEmission.den line 39
8. lemma OAI.ExactQuantumFactoring.RawTrialEmission.num line 42
9. lemma OAI.ExactQuantumFactoring.RawTrialEmission.residue line 45
10. lemma OAI.ExactQuantumFactoring.RawTrialEmission.coin line 49