OAI/Computability/QuantumFactoring/RetainedNetworkAt.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.NetworkAt.all_map line 20
  2. lemma OAI.ExactQuantumFactoring.NetworkAt.any_ofFn line 30
  3. lemma OAI.ExactQuantumFactoring.NetworkAt.primeComponent line 40
  4. lemma OAI.ExactQuantumFactoring.NetworkAt.dividesOn line 45
  5. lemma OAI.ExactQuantumFactoring.NetworkAt.sameTwoVal line 52
  6. lemma OAI.ExactQuantumFactoring.NodeMachine.retainedOrder_at line 65
  7. lemma OAI.ExactQuantumFactoring.NodeMachine.retainedTotient_at line 72
  8. lemma OAI.ExactQuantumFactoring.NodeMachine.retainedFavorableCount_at line 79
  9. lemma OAI.ExactQuantumFactoring.NodeMachine.retainedCanonical_at line 87
  10. lemma OAI.ExactQuantumFactoring.NodeMachine.retainedComponentOrder_at line 95
  11. lemma OAI.ExactQuantumFactoring.NodeMachine.tableNets_length_at line 100
  12. lemma OAI.ExactQuantumFactoring.NodeMachine.tableNets_at line 103