OAI/Computability/DegreeRigidity/Constructibility/PersistentLocality.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.PersistentLocality.ideal line 11
2. def OAI.TuringRigidity.PersistentLocality.bridge line 15
3. def OAI.TuringRigidity.PersistentLocality.lift line 22
4. def OAI.TuringRigidity.PersistentLocality.unlift line 25
5. theorem OAI.TuringRigidity.PersistentLocality.extends_symm line 28
6. theorem OAI.TuringRigidity.PersistentLocality.source_4_1_5 line 38