OAI/Computability/QuantumFactoring/NativeAIGSub.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.NativeAIG.oneVec line 13
2. lemma OAI.ExactQuantumFactoring.NativeAIG.const_go line 14
3. lemma OAI.ExactQuantumFactoring.NativeAIG.const_erase line 29
4. lemma OAI.ExactQuantumFactoring.NativeAIG.const_one line 33
5. lemma OAI.ExactQuantumFactoring.NativeAIG.oneVec_length line 40
6. lemma OAI.ExactQuantumFactoring.NativeAIG.oneVec_refs line 41
7. def OAI.ExactQuantumFactoring.NativeAIG.neg line 47
8. def OAI.ExactQuantumFactoring.NativeAIG.sub line 48
9. lemma OAI.ExactQuantumFactoring.NativeAIG.neg_rel line 51
10. lemma OAI.ExactQuantumFactoring.NativeAIG.sub_rel line 58