OAI/Computability/DegreeRigidity/SetModels/InternalBooleanName.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.InternalBooleanName.tags line 13
2. theorem OAI.TuringRigidity.InternalBooleanName.tags_info line 16
3. theorem OAI.TuringRigidity.InternalBooleanName.tags_graph_mem line 26
4. def OAI.TuringRigidity.InternalBooleanName.booleanName line 48
5. theorem OAI.TuringRigidity.InternalBooleanName.booleanName_internal line 52
6. theorem OAI.TuringRigidity.InternalBooleanName.mem_val_booleanName line 60
7. theorem OAI.TuringRigidity.InternalBooleanName.val_booleanName line 71
8. theorem OAI.TuringRigidity.InternalBooleanName.same_value_mem_projected_extension line 97