OAI/Computability/DegreeRigidity/SetModels/GeneratedBooleanPart.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.GeneratedBooleanPart.carrier line 10
2. def OAI.TuringRigidity.GeneratedBooleanPart.generated line 13
3. theorem OAI.TuringRigidity.GeneratedBooleanPart.subset_generated line 18
4. theorem OAI.TuringRigidity.GeneratedBooleanPart.generated_compl line 21
5. theorem OAI.TuringRigidity.GeneratedBooleanPart.generated_le line 24
6. theorem OAI.TuringRigidity.GeneratedBooleanPart.generated_mono line 28
7. theorem OAI.TuringRigidity.GeneratedBooleanPart.generated_congr line 31