OAI/Computability/QuantumFactoring/AKSNetworks.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.BooleanNetwork.all_ofFn_eval line 13
2. lemma OAI.ExactQuantumFactoring.BooleanNetwork.any_ofFn_eval line 18
3. lemma OAI.ExactQuantumFactoring.BooleanNetwork.bnot_value line 23
4. def OAI.ExactQuantumFactoring.BitArithmetic.orderTests line 31
5. lemma OAI.ExactQuantumFactoring.BitArithmetic.orderTests_value line 34
6. lemma OAI.ExactQuantumFactoring.BitArithmetic.orderTests_count line 48
7. def OAI.ExactQuantumFactoring.BitArithmetic.properDivisor line 60
8. lemma OAI.ExactQuantumFactoring.BitArithmetic.properDivisor_value line 63
9. lemma OAI.ExactQuantumFactoring.BitArithmetic.properDivisor_count line 69
10. def OAI.ExactQuantumFactoring.BitArithmetic.noSmallDivisor line 77
11. lemma OAI.ExactQuantumFactoring.BitArithmetic.noSmallDivisor_value line 80
12. lemma OAI.ExactQuantumFactoring.BitArithmetic.noSmallDivisor_count line 94