OAI/Computability/QuantumFactoring/AIGDivisionBounds.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.AIGBounds.not_go_size line 15
  2. lemma OAI.ExactQuantumFactoring.AIGBounds.not_size line 26
  3. lemma OAI.ExactQuantumFactoring.AIGBounds.neg_size line 30
  4. lemma OAI.ExactQuantumFactoring.AIGBounds.sub_size line 37
  5. lemma OAI.ExactQuantumFactoring.AIGBounds.overflow_go_size line 45
  6. lemma OAI.ExactQuantumFactoring.AIGBounds.overflow_size line 59
  7. lemma OAI.ExactQuantumFactoring.AIGBounds.ult_size line 63
  8. lemma OAI.ExactQuantumFactoring.AIGBounds.extend_go_size line 71
  9. lemma OAI.ExactQuantumFactoring.AIGBounds.extend_size line 81
  10. lemma OAI.ExactQuantumFactoring.AIGBounds.shiftConcat_size line 84
  11. lemma OAI.ExactQuantumFactoring.AIGBounds.div_step_size line 87
  12. lemma OAI.ExactQuantumFactoring.AIGBounds.div_go_size line 101
  13. lemma OAI.ExactQuantumFactoring.AIGBounds.beq_size line 113
  14. lemma OAI.ExactQuantumFactoring.AIGBounds.zip_go_size line 122
  15. lemma OAI.ExactQuantumFactoring.AIGBounds.zip_size line 140
  16. lemma OAI.ExactQuantumFactoring.AIGBounds.fold_go_size line 146
  17. lemma OAI.ExactQuantumFactoring.AIGBounds.fold_size line 163
  18. lemma OAI.ExactQuantumFactoring.AIGBounds.eq_size line 169
  19. lemma OAI.ExactQuantumFactoring.AIGBounds.div_size line 177
  20. lemma OAI.ExactQuantumFactoring.AIGBounds.mod_size line 186