OAI/Computability/QuantumFactoring/NetworkLoopEmission.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NetworkEmission.fold_budget_extra line 13
2. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.foldRightPack line 21
3. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.allPackP line 39
4. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.anyPackP line 43
5. lemma OAI.ExactQuantumFactoring.NetworkEmission.allPack_value line 49
6. lemma OAI.ExactQuantumFactoring.NetworkEmission.anyPack_value line 55
7. lemma OAI.ExactQuantumFactoring.NetworkEmission.ofFn_nat_eq_map line 61
8. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.compInput line 70
9. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.rangePack line 74
10. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.allRange line 86
11. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.anyRange line 94
12. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.vectorRange line 102