OAI/Computability/QuantumFactoring/CompletionPredicateEmission.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NetworkEmission.Emits.ordinaryMass line 15
2. lemma OAI.ExactQuantumFactoring.NetworkEmission.Emits.completionCoefficient line 18
3. lemma OAI.ExactQuantumFactoring.NetworkEmission.Emits.completionGuess line 23
4. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.predicateFilter line 32