OAI/Computability/QuantumFactoring/NativeAIGAdd.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NativeAIG.countKnown_nil line 13
2. lemma OAI.ExactQuantumFactoring.NativeAIG.countKnown_cons line 14
3. lemma OAI.ExactQuantumFactoring.NativeAIG.countKnown_go_eq line 18
4. lemma OAI.ExactQuantumFactoring.NativeAIG.countKnown_eq line 36
5. def OAI.ExactQuantumFactoring.NativeAIG.addLoop line 40
6. def OAI.ExactQuantumFactoring.NativeAIG.addBlast line 45
7. def OAI.ExactQuantumFactoring.NativeAIG.add line 47
8. lemma OAI.ExactQuantumFactoring.NativeAIG.addLoop_rel line 50
9. lemma OAI.ExactQuantumFactoring.NativeAIG.addBlast_rel line 74
10. lemma OAI.ExactQuantumFactoring.NativeAIG.add_rel line 82