OAI/Computability/QuantumFactoring/NetworkPoly.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NetworkPoly.select line 13
2. lemma OAI.ExactQuantumFactoring.NetworkPoly.comp line 15
3. lemma OAI.ExactQuantumFactoring.NetworkPoly.pair line 18
4. lemma OAI.ExactQuantumFactoring.NetworkPoly.rewire line 21
5. lemma OAI.ExactQuantumFactoring.NetworkPoly.constant line 24
6. lemma OAI.ExactQuantumFactoring.NetworkPoly.bnot line 26
7. lemma OAI.ExactQuantumFactoring.NetworkPoly.band line 29
8. lemma OAI.ExactQuantumFactoring.NetworkPoly.bor line 32
9. lemma OAI.ExactQuantumFactoring.NetworkPoly.of_le line 35
10. lemma OAI.ExactQuantumFactoring.NatExprPoly.sharedCost line 42
11. lemma OAI.ExactQuantumFactoring.NatExprPoly.operationBound line 44
12. lemma OAI.ExactQuantumFactoring.NatExprPoly.template line 48
13. lemma OAI.ExactQuantumFactoring.NatExprPoly.isOne line 55
14. lemma OAI.ExactQuantumFactoring.retentionNet_poly line 66