OAI/Computability/QuantumFactoring/TableLevelCircuit.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.equalLevelSum_le_totient line 19
2. lemma OAI.ExactQuantumFactoring.componentLevelProduct_lt line 33
3. lemma OAI.ExactQuantumFactoring.table_level_product line 41
4. def OAI.ExactQuantumFactoring.BitArithmetic.tableLevelNet line 60
5. lemma OAI.ExactQuantumFactoring.BitArithmetic.tableLevelNet_value line 63
6. lemma OAI.ExactQuantumFactoring.BitArithmetic.tableLevelNet_count line 87