OAI/Computability/DegreeRigidity/SetModels/TwoRealHull.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.TwoRealHull.contains_join_iff line 12
2. theorem OAI.TuringRigidity.TwoRealHull.hull_join line 27
3. theorem OAI.TuringRigidity.TwoRealHull.joined_factorization line 37