OAI/Computability/QuantumFactoring/NativeAIGShift.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.NativeAIG.shiftBit line 14
2. def OAI.ExactQuantumFactoring.NativeAIG.shiftLoop line 16
3. def OAI.ExactQuantumFactoring.NativeAIG.shift line 19
4. lemma OAI.ExactQuantumFactoring.NativeAIG.shiftLoop_value line 21
5. lemma OAI.ExactQuantumFactoring.NativeAIG.shiftLoop_rel line 26
6. lemma OAI.ExactQuantumFactoring.NativeAIG.shift_rel line 48
7. lemma OAI.ExactQuantumFactoring.NativeAIG.const_zero_go line 55
8. lemma OAI.ExactQuantumFactoring.NativeAIG.const_zero line 71
9. def OAI.ExactQuantumFactoring.NativeAIG.Emission.shiftBitP line 78
10. def OAI.ExactQuantumFactoring.NativeAIG.Emission.shiftP line 88