OAI/Computability/QuantumFactoring/BitArithmeticDivision.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.BitArithmetic.sub line 15
2. lemma OAI.ExactQuantumFactoring.BitArithmetic.sub_correct line 19
3. lemma OAI.ExactQuantumFactoring.BitArithmetic.sub_count line 24
4. def OAI.ExactQuantumFactoring.BitArithmetic.div line 32
5. lemma OAI.ExactQuantumFactoring.BitArithmetic.div_correct line 36
6. lemma OAI.ExactQuantumFactoring.BitArithmetic.div_count line 41
7. def OAI.ExactQuantumFactoring.BitArithmetic.mod line 49
8. lemma OAI.ExactQuantumFactoring.BitArithmetic.mod_correct line 53
9. lemma OAI.ExactQuantumFactoring.BitArithmetic.mod_count line 58