OAI/Computability/DegreeRigidity/SetModels/InternalQuotientConditions.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.InternalQuotientConditions.cover line 12
2. theorem OAI.TuringRigidity.InternalQuotientConditions.cover_eq_project line 15
3. def OAI.TuringRigidity.InternalQuotientConditions.coverFormula line 26
4. theorem OAI.TuringRigidity.InternalQuotientConditions.coverFormula_spec line 30
5. def OAI.TuringRigidity.InternalQuotientConditions.conditions line 43
6. theorem OAI.TuringRigidity.InternalQuotientConditions.conditions_subset line 46
7. theorem OAI.TuringRigidity.InternalQuotientConditions.conditions_mem line 49
8. theorem OAI.TuringRigidity.InternalQuotientConditions.order_mem line 66
9. theorem OAI.TuringRigidity.InternalQuotientConditions.original_condition_mem line 72