OAI/Computability/DegreeRigidity/SetModels/SetModelSequences.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.SetModelSequences.sequenceSet line 11
2. theorem OAI.TuringRigidity.SetModelSequences.mem_sequenceSet line 14
3. theorem OAI.TuringRigidity.SetModelSequences.pair_mem_sequenceSet line 19
4. def OAI.TuringRigidity.SetModelSequences.sliceFormula line 29
5. theorem OAI.TuringRigidity.SetModelSequences.eval_sliceFormula line 33
6. theorem OAI.TuringRigidity.SetModelSequences.sequence_mem_of_iteration line 41
7. def OAI.TuringRigidity.SetModelSequences.PairingCode line 84
8. def OAI.TuringRigidity.SetModelSequences.flattenFormula line 87
9. theorem OAI.TuringRigidity.SetModelSequences.eval_flattenFormula line 92
10. theorem OAI.TuringRigidity.SetModelSequences.flatten_mem line 105