OAI/Computability/DegreeRigidity/SetModels/SetModelMultiplication.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.SetModelArithmetic.mulFormula line 10
2. theorem OAI.TuringRigidity.SetModelArithmetic.eval_mulFormula line 15
3. def OAI.TuringRigidity.SetModelArithmetic.multiplicationSet line 43
4. theorem OAI.TuringRigidity.SetModelArithmetic.multiplication_code line 47
5. def OAI.TuringRigidity.SetModelArithmetic.multiplicationFormula line 61
6. theorem OAI.TuringRigidity.SetModelArithmetic.multiplicationSet_mem line 66