OAI/Computability/QuantumFactoring/RetainedOrderFilter.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.Completion.Expressions.orderRateCoin line 22
2. lemma OAI.ExactQuantumFactoring.Completion.Expressions.orderRateCoin_value line 24
3. abbrev OAI.ExactQuantumFactoring.NodeMachine.orderVarWidth line 33
4. def OAI.ExactQuantumFactoring.NodeMachine.orderFilterVars line 35
5. def OAI.ExactQuantumFactoring.NodeMachine.orderActualFilter line 44
6. def OAI.ExactQuantumFactoring.NodeMachine.orderDummyFilter line 57
7. def OAI.ExactQuantumFactoring.NodeMachine.retainedOrderFilter line 67
8. lemma OAI.ExactQuantumFactoring.NodeMachine.orderFilterVars_eval line 72
9. lemma OAI.ExactQuantumFactoring.NodeMachine.orderActualFilter_exact line 90
10. lemma OAI.ExactQuantumFactoring.NodeMachine.orderDummyFilter_exact line 131