OAI/Computability/DegreeRigidity/Syntax/SentenceInlining.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.RelativeConstructible.skipValue line 10
2. theorem OAI.TuringRigidity.RelativeConstructible.skipValue_env line 12
3. def OAI.TuringRigidity.RelativeConstructible.bindComputed line 16
4. theorem OAI.TuringRigidity.RelativeConstructible.bindComputed_spec line 21
5. def OAI.TuringRigidity.RelativeConstructible.subsetBody line 47
6. theorem OAI.TuringRigidity.RelativeConstructible.subsetBody_spec line 51